3104 search results - page 163 / 621 » Using quantitative analysis to implement autonomic IT system... |
103
click to vote
ASAP
1996
IEEE
15 years 8 months ago
1996
IEEE
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
133
click to vote
SASO
2010
IEEE
15 years 1 months ago
2010
IEEE
Self-organising systems are a popular engineering concept for designing decentralised autonomic computing systems. They are able to find solutions in complex and versatile problem ...
136
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
121
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Several research groups have grappled with the problem of characterizing and developing practical approaches for implementing adjustable autonomy and mixed-initiative int...
149
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Video management research has largely been ignoring the increased attractiveness of using camera-equipped mobile phones for the production of short home video clips, mostly consid...