3838 search results - page 113 / 768 » The Autonomic Computing Paradigm |
ANSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Many scientific simulations are large programs which despite careful debugging and testing will probably contain errors when deployed to the Web for use. Based on the assumption ...
127
click to vote
ICDCSW
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes the Smart Operation of Networked Appliances (SONA) system which realizes the autonomous and asynchronous operation of networked appliances by using mobile age...
130
click to vote
ISER
1999
Springer
15 years 8 months ago
1999
Springer
In this paper, we present a new approach for continuous probabilistic mapping. The objective is to build metric maps of unknown environments through cooperation between multiple au...
127
click to vote
ATC
2007
Springer
15 years 6 months ago
2007
Springer
We propose a generic architecture to facilitate the systematic design of autonomous, adaptive and safe applications. We specify generic modules including a trustworthiness enforcem...
171
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...