257 results on '"Claude Jard"'
Search Results
2. Coverability Synthesis in Parametric Petri Nets.
3. Causal consistency: beyond memory.
4. On Composition and Implementation of Sequential Consistency.
5. Towards energy-proportional clouds partially powered by renewable energy.
6. Atomic Read/Write Memory in Signature-Free Byzantine Asynchronous Message-Passing Systems.
7. Update Consistency for Wait-Free Concurrent Objects.
8. The EPOC Project - Energy Proportional and Opportunistic Computing System.
9. Discrete Parameters in Petri Nets.
10. Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC.
11. Robustness of Time Petri Nets under Guard Enlargement.
12. Update Consistency in Partitionable Systems.
13. Distributed implementation of message sequence charts.
14. Some Synchronization Issues in OSPF Routing.
15. The Impact of Initial Delays in OSPF Routing.
16. Back in Time Petri Nets.
17. Scenario Realizability with Constraint Optimization.
18. Clock Transition Systems.
19. Robustness of Time Petri Nets under Architectural Constraints.
20. Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations.
21. Robustness of Time Petri Nets under Guard Enlargement.
22. Pairwise testing of dynamic composite services.
23. An Experiment in Automatic Generation of Protocols from HMSCs.
24. Optimizing Decisions in Web Services Orchestrations.
25. Diagnosis Using Unfoldings of Parametric Time Petri Nets.
26. Variability Modeling and QoS Analysis of Web Services Orchestrations.
27. Symbolic Unfolding of Parametric Stopwatch Petri Nets.
28. Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations.
29. Monitoring probabilistic SLAs in Web service orchestrations.
30. QoS-aware management of monotonic service orchestrations.
31. Blending Timed Formal Models with Clock Transition Systems.
32. Application of branching cells to QoS aware service orchestrations.
33. Testing Systems Specified as Partial Order Input/Output Automata.
34. Event Structure Semantics of Orc.
35. Probabilistic QoS and soft contracts for transaction based Web services.
36. Testing Input/Output Partial Order Automata.
37. Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly.
38. Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.
39. LaTe, a Non-fully Deterministic Testing Language.
40. Symbolic Unfoldings for Networks of Timed Automata.
41. From Automata Networks to HMSCs: A Reverse Model Engineering Perspective.
42. Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets.
43. Models for the Supervision of Web Services Orchestration with Dynamic Changes.
44. Symbolic Diagnosis of Partially Observable Concurrent Systems.
45. UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks.
46. Algorithms for Distributed Fault Management in Telecommunications Networks.
47. Distributed Monitoring of Concurrent and Asynchronous Systems.
48. Distributed and asynchronous discrete event systems diagnosis.
49. Partial order diagnosability of discrete event systems using petri net unfoldings.
50. Symbolic unfolding of parametric stopwatch Petri nets.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.