789 search results - page 38 / 158 » A Formal Model for Epistemic Interactions |
IRI
2003
IEEE
14 years 1 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
ICFEM
2003
Springer
14 years 1 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
ICFEM
2003
Springer
14 years 1 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
ATVA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...