3104 search results - page 394 / 621 » Using quantitative analysis to implement autonomic IT system... |
152
click to vote
HYBRID
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
151
click to vote
MOBIDE
1999
ACM
15 years 10 months ago
1999
ACM
Mobile applications increasingly require transaction-like properties, particularly those of recovery. Because there is a lack of abstractions to decompose the machinery of recover...
150
click to vote
JUCS
2010
15 years 4 months ago
2010
: Mobile phones have become the most hated device that people cannot live without. For its primary usage as a communication device, it has surpassed any other medium. But it comes ...
141
click to vote
IROS
2006
IEEE
16 years 1 days ago
2006
IEEE
In this investigation a robotic system’s dynamic performance is optimized for high reliability under uncertainty. The dynamic capability equations allow designers to predict the...
204
click to vote
RTSS
1992
IEEE
15 years 10 months ago
1992
IEEE
The problem of scheduling a set of sporadic tasks that share a set of serially reusable, single unit software resources on a single processor is considered. The correctness condit...