110 search results - page 3 / 22 » Heterogeneous Reactive Systems Modeling and Correct-by-Const... |
OTM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The Web of today can be seen as an active and heterogeneous infrastructure of autonomous systems, where reactivity, evolution and propagation of information and changes p...
DSVIS
2008
Springer
13 years 7 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 ...
ICAC
2007
IEEE
13 years 11 months ago
2007
IEEE
— Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network ...
FASE
2003
Springer
13 years 10 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...
TPDS
2010
12 years 12 months ago
2010
In the past, some research has been done on how to use proactive recovery to build intrusion-tolerant replicated systems that are resilient to any number of faults, as long as reco...