1054 search results - page 36 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
ETRA
2000
ACM
13 years 11 months ago
2000
ACM
This paper describes EyeTracer, an interactive environment for manipulating, viewing, and analyzing eye-movement protocols. EyeTracer augments the typical functionality of such sy...
IC3
2009
13 years 5 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and l...
SP
1996
IEEE
13 years 11 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...