361 search results - page 23 / 73 » A compositional approach to statecharts semantics |
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 ...
IEEESCC
2006
IEEE
14 years 2 months ago
2006
IEEE
Although workflow languages are widely used for composing discrete services, these are not suitable for stream based interactions. In this paper we address the problem of how to ...
ICALT
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper reports on an approach which maps documents onto an ontology-based information space in order to provide support for machine-mediated communication. First, a composite ...
OTM
2007
Springer
14 years 2 months ago
2007
Springer
The information that is made available through the semantic web will be accessed through complex programs (web-services, sensors, etc.) that may interact in sophisticated ways. Com...
ICEIS
2005
IEEE
14 years 2 months ago
2005
IEEE
Component-based software engineering attempts to address the ever increasing demand for new software applications by enabling a compositional approach to software construction in ...