503 search results - page 12 / 101 » Real-time Property Preservation in Approximations of Timed S... |
124
click to vote
EDOC
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
112
click to vote
ISORC
2000
IEEE
15 years 5 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
112
click to vote
RTSS
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
114
click to vote
ATAL
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Control for agents situated in multi-agent systems is a complex problem. This is particularly true in hard, open, dynamic environments where resource, privacy, bandwidth,...
147
click to vote
ATC
2008
Springer
15 years 3 months ago
2008
Springer
To overcome the rising complexity of computing systems, the paradigms of Autonomic Computing and Organic Computing have been introduced. By using an observer/controller architectur...