1664 search results - page 94 / 333 » Making a Case for Multi-Agent Systems |
113
click to vote
FM
2005
Springer
15 years 10 months ago
2005
Springer
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
129
click to vote
DAIS
2009
15 years 5 months ago
2009
Large-scale industrial systems involve nowadays hundreds of developers working on hundreds of models representing parts of the whole system specification. Unfortunately, few tool s...
128
click to vote
RTSS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a new workload model, called the state-dependent deadline model, for applications whose high-level timing requirements may change with time. The problem is how...
143
click to vote
JAR
2008
15 years 4 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
134
click to vote
APCSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Device drivers are a significant source of system instability. In this paper, we make the case for running device drivers at user-level to improve robustness and resource managemen...