63 results on '"Barkaoui K"'
Search Results
2. Opportunistic MAC layer design with Stochastic Petri Nets for multimedia Ad Hoc Networks
3. Towards a tile based LfP semantics
4. Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic
5. Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems.
6. Method for Verification of a Multi Agents System.
7. A performability analysis of mobile wireless sensor networks with probabilistic model checking.
8. Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems.
9. Toward a New Model of the Petri Nets: Agent Petri Nets.
10. On the verification of business processes by model checking techniques.
11. Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi.
12. An approach for testing mobile agents using the nets within nets paradigm.
13. On modelling adaptive service-oriented business processes.
14. Stepwise engineering and deployment of dynamically adaptive service-oriented business processes.
15. Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes.
16. Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets.
17. A Multi-Dimensional Architectural Approach to Behavior-Intensive Adaptive Pervasive Applications.
18. Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications.
19. On Adaptive and Behavioral Service-Driven Applications: A Rule-Centric Petri Nets Framework.
20. Verification of Workflow processes under multilevel security considerations.
21. An Effective Link Adaptation Method in Cooperative Wireless Networks.
22. Link Adaptation for Cooperative Wireless LANs.
23. On QoS Support Evaluation in IEEE 802.11 Wireless LAN's.
24. On the use of rewriting logic for verification of distributed software architecture description based LfP.
25. Verification and optimisation of an operating room workflow.
26. Performance analysis of an N×N ATM switch with Markov modulated Poisson process under back-pressure mechanism.
27. Towards an efficient probabilistic deadlock detection method for multidatabase systems.
28. Formal specification of communication protocols with object-based ECATNets.
29. Optimizing query evaluation in deductive databases using reductions.
30. Reliability analysis of non repairable systems using stochastic Petri nets.
31. Verification in concurrent programming with Petri nets structural techniques.
32. The performance of alternative strategies for dealing with deadlocks in FMS.
33. Petri nets based proofs of Ada 95 solution for preference control.
34. Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification.
35. Deadlock avoidance in FMS based on structural theory of Petri nets
36. An efficient deadlock avoidance control policy in FMS using structural analysis of Petri nets
37. Verification in concurrent programming with Petri nets structural techniques
38. Performance analysis of an N×N ATM switch with Markov modulated Poisson process under back-pressure mechanism
39. A deadlock prevention method for a class of FMS
40. A query evaluation strategy for deductive databases with presence of negation based on HLPN
41. Modeling and performance evaluation of tool sharing management in FMS using stochastic Petri nets
42. The performance of alternative strategies for dealing with deadlocks in FMS
43. On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP
44. Petri nets based proofs of Ada 95 solution for preference control
45. On QoS Support Evaluation in IEEE 802.11 Wireless LAN's
46. Parameterized supervisor synthesis for a modular class of discrete event systems
47. Towards an efficient probabilistic deadlock detection method for multidatabase systems
48. Supervisory control of discrete event systems based on structure theory of Petri nets
49. Verification and optimisation of an operating room workflow
50. Using AUML to derive formal modeling agents interactions
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.