1054 search results - page 10 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
POLICY
2005
Springer
14 years 6 days ago
2005
Springer
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
LCPC
1993
Springer
13 years 10 months ago
1993
Springer
This paper presents a model for concurrent programming, where programs (concurrent program structures) are represented as composition expressions over component programs with suita...
ICDE
1995
IEEE
14 years 8 months ago
1995
IEEE
We describe a two-level client-side cache for composite objects mapped as views of a relational database. A semantic model, the Structural Model, is used to specify joins on the r...
UTP
2010
13 years 4 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
KI
2010
Springer
13 years 1 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...