3104 search results - page 391 / 621 » Using quantitative analysis to implement autonomic IT system... |
173
Voted
WER
1998
Springer
15 years 10 months ago
1998
Springer
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...
145
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
171
click to vote
INTERACT
2003
15 years 7 months ago
2003
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
167
click to vote
CODES
2008
IEEE
16 years 15 days ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
163
click to vote
GPC
2008
Springer
15 years 7 months ago
2008
Springer
Nowadays workflow systems are widely deployed around the world, especially within large international corporations. Thus the performance evaluation of these workflow systems becom...