1228 search results - page 6 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
SCESM
2006
ACM
14 years 1 months ago
2006
ACM
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
PDSE
1998
13 years 9 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
DSD
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper addresses the design issue of System-onelevating the design abstraction levels, through a model-driven approach. It considers the standard Marte profile, which is dedic...
AIS
2006
Springer
13 years 7 months ago
2006
Springer
Abstract This article attempts to demystify computer vision for novice programmers through a survey of new applications in the arts, system design considerations, and contemporary ...