Sciweavers

3104 search results - page 33 / 621
» Using quantitative analysis to implement autonomic IT system...
Sort
View
IPPS
1999
IEEE
13 years 11 months ago
Leonardo and Discipulus Simplex: An Autonomous, Evolvable Six-Legged Walking Robot
Evolutionary systems based on genetic algorithms GAs are common nowadays. One of the recent uses of such systems is in the burgeoning eld of evolvable hardware which involves, amo...
Gilles Ritter, Jean-Michel Puiatti, Eduardo Sanche...
CAV
2004
Springer
202views Hardware» more  CAV 2004»
14 years 28 days ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
DEXAW
2004
IEEE
124views Database» more  DEXAW 2004»
13 years 11 months ago
PAC-MEN: Personal Autonomic Computing Monitoring Environment
The overall goal of this research is to improve the `environment awareness' aspect of personal autonomic computing. Personal Computing offers unique challenges for self-manag...
Roy Sterritt, David F. Bantz
KES
2006
Springer
13 years 7 months ago
A Framework for distributed knowledge management in autonomous logistic processes
The trends and recent changes in logistics lead to complex and partially conflicting requirements on logistic planning and control systems. Due to the lack of efficiency of curren...
Hagen Langer, Jan D. Gehrke, Joachim Hammer, Marti...
ICDCSW
2002
IEEE
14 years 15 days ago
Autonomous and Asynchronous Operation of Networked Appliances with Mobile Agent
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...
Soko Aoki, Jin Nakazawa, Hideyuki Tokuda