1054 search results - page 3 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
TCS
2008
13 years 6 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
ESORICS
2008
Springer
13 years 8 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
EDOC
2005
IEEE
14 years 9 days ago
2005
IEEE
TIME
2007
IEEE
14 years 29 days ago
2007
IEEE
Forty-four relations are found between an interval and an interval with a gap ( rIIg ), capturing semantics that are distinct from those of the sets of constituting intervals and ...
PTS
2008
13 years 8 months ago
2008
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...