Keywords: چک کردن مدل احتمالاتی; Interactive software; Log analysis; Usage behaviour; Admixture models; Latent variables; Probabilistic model checking;
مقالات ISI چک کردن مدل احتمالاتی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: چک کردن مدل احتمالاتی; unmanned surface vehicles; collision avoidance; probabilistic timed automata; formal methods; probabilistic model checking;
Keywords: چک کردن مدل احتمالاتی; Near field communication; Probabilistic model checking; Relay attack; Security analysis; Wireless communication
Keywords: چک کردن مدل احتمالاتی; Plan execution monitoring; Hierarchical information awareness; Multi-party disseminating protocol; Communication resilience; Probabilistic Model checking
Keywords: چک کردن مدل احتمالاتی; Probabilistic model checking; Markov reward model; Continuous stochastic logic; Cylindrical algebraic decomposition; Transcendental number
Keywords: چک کردن مدل احتمالاتی; Formal methods; Skolem problem; Positivity problem; Probabilistic model checking; Markov chains;
Keywords: چک کردن مدل احتمالاتی; Probabilistic model checking; Measure-based quantitative analysis; Low-level operating system code; Test-and-test-and-set spinlock; Conditional long-run probabilities; Quantile-based queries; Symmetry reduction
Formal analysis of DeGroot Influence Problems using probabilistic model checking
Keywords: چک کردن مدل احتمالاتی; Social networks; Opinion dynamics; DeGroot model; Stochastic games; Probabilistic model checking; Zachary karate club;
Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15.4 networks
Keywords: چک کردن مدل احتمالاتی; Communications networks; Performance analysis; Analytical models; Validation; Formal specification; Probabilistic model checking;
Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications
Keywords: چک کردن مدل احتمالاتی; Probabilistic model checking; FPGA; Dependability; Performance; Markov Reward Model; Single-Event Upsets; Control Data Flow Graphs; Cosmic radiation;
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis
Keywords: چک کردن مدل احتمالاتی; Goal modeling; Dependability; Probabilistic model checking; Runtime analysis;
Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments
Keywords: چک کردن مدل احتمالاتی; Multi-Agent Systems; Probabilistic model checking; Verification; Interpreted systems; Knowledge; Social commitments; Modal logic
A property-based abstraction framework for SysML activity diagrams
Keywords: چک کردن مدل احتمالاتی; Probabilistic model checking; SysML activity diagrams; Probabilistic automata; PCTL; Probabilistic relation;
Combining decomposition and reduction for state space analysis of a self-stabilizing system
Keywords: چک کردن مدل احتمالاتی; Fault tolerance; Self stabilization; Probabilistic model checking; Probabilistic bisimilarity; Markov chains; Limiting window availability
Model-based verification of quantitative non-functional properties for software product lines
Keywords: چک کردن مدل احتمالاتی; Quality analysis; Software product lines; Non-functional requirements; Probabilistic model checking; Parametric verification
Model checking probabilistic systems against pushdown specifications
Keywords: چک کردن مدل احتمالاتی; Formal methods; Probabilistic model checking; Pushdown systems; Context-free specifications; Markov chains
Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach
Keywords: چک کردن مدل احتمالاتی; Certified e-mail; probabilistic model checking; CTMC; mobile environments
Probabilistic model checking for the quantification of DoS security threats
Keywords: چک کردن مدل احتمالاتی; Denial of service; Secure authentication; Probabilistic model checking; Resource exhaustion; Attacker model
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC
Keywords: چک کردن مدل احتمالاتی; Probabilistic model checking; approximate verification; case study; IEEE 802.3;
Performance Evaluation of a Real-time Simulation Architecture using Probabilistic Model Checking
Keywords: چک کردن مدل احتمالاتی; real-time distributed simulation; probabilistic model checking; performance evaluation; PEPA; PRISM;
On finite-state approximants for probabilistic computation tree logic
Keywords: چک کردن مدل احتمالاتی; Markov chain; Probabilistic model checking; Abstraction; Optimality;