The following pages link to Ali Movaghar (Q549193):
Displayed 25 items.
- Verification of mobile ad hoc networks: an algebraic approach (Q549194) (← links)
- Dynamic routing of real-time jobs among parallel EDF queues: a performance study (Q605686) (← links)
- Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca (Q605695) (← links)
- Symmetry and partial order reduction techniques in model checking Rebeca (Q845239) (← links)
- AFAR: adaptive fuzzy ant-based routing for communication networks (Q1045530) (← links)
- On queueing with customer impatience until the beginning of service (Q1281695) (← links)
- Symbolic checking of fuzzy CTL on fuzzy program graph (Q1713411) (← links)
- A uniformization-based algorithm for continuous-time stochastic games model checking (Q1757155) (← links)
- Compressive sensing of high betweenness centrality nodes in networks (Q2150293) (← links)
- Abstraction and approximation in fuzzy temporal logics and models (Q2355383) (← links)
- Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers (Q2689320) (← links)
- Compositional Failure-based Equivalence of Constraint Automata (Q2810975) (← links)
- Model Checking MANETs with Arbitrary Mobility (Q2948247) (← links)
- Equational Reasoning on Mobile Ad Hoc Networks (Q3084990) (← links)
- Equational Reasoning on Ad Hoc Networks (Q3400916) (← links)
- On Queueing with Customer Impatience Until the End of Service (Q3444697) (← links)
- A Review on Specifying Software Architectures Using Extended Automata-Based Models (Q3508548) (← links)
- Challenges in Using Peer-to-Peer Structures in Order to Design a Large-Scale Web Search Engine (Q3628463) (← links)
- Modeling Routing Protocols in Adhoc Networks (Q3628490) (← links)
- Bandwidth-Delay Constrained Least Cost Multicast Routing for Multimedia Communication (Q3628577) (← links)
- (Q3635459) (← links)
- (Q4681459) (← links)
- Cost-Efficient Scheduling for Deadline Constrained Grid Workflows (Q5145728) (← links)
- Analytical Leakage-Aware Thermal Modeling of a Real-Time System (Q5268161) (← links)
- Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions (Q5280550) (← links)