1153 search results - page 20 / 231 » Compositional Specification Calculus for Information Systems... |
170
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
141
Voted
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
126
Voted
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
143
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
In Service-Oriented MAS middle-agents provide different kinds of matchmaking functionalities. If no adequate services are available for a specific request, a planning functionalit...
137
Voted
JSW
2007
15 years 3 months ago
2007
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...