7557 search results - page 319 / 1512 » Modeling Timed Concurrent Systems |
263
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
Cloud computing is quickly becoming the platform of choice for many web services. Virtualization is the key underlying technology enabling cloud providers to host services for a l...
178
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
182
click to vote
AICCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
178
click to vote
IJCAI
1997
15 years 8 months ago
1997
Aiming at explicit description of temporal meaning of causal relations generated by qualitative reasoning systems, this article proposes a causal time ontology which defines a se...
172
click to vote
LCTRTS
2005
Springer
16 years 4 days ago
2005
Springer
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...