1369 search results - page 4 / 274 » Graphical Design of Reactive Systems |
109
click to vote
COORDINATION
2006
Springer
15 years 1 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
102
click to vote
FASE
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
EUROMICRO
1996
IEEE
15 years 1 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
COMPSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
100
click to vote
DSVIS
2008
Springer
14 years 11 months ago
2008
Springer
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...