1980 search results - page 109 / 396 » Compositional Model Checking of Real Time Systems |
105
click to vote
SOCO
2008
Springer
15 years 1 months ago
2008
Springer
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...
130
click to vote
HYBRID
1997
Springer
15 years 5 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
143
click to vote
DALT
2009
Springer
15 years 5 months ago
2009
Springer
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
114
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
114
click to vote
CVBIA
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we present a novel deformable model for soft tissue simulation in a real-time manner. The innovative model consists of two submodels: the surface one and the interna...