5216 search results - page 870 / 1044 » Planning as Model Checking |
151
click to vote
SIGMETRICS
2012
ACM
13 years 6 months ago
2012
ACM
The demand for data center computing increased significantly in recent years resulting in huge energy consumption. Data centers typically comprise three main subsystems: IT equip...
123
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. An algorithm to detect invisible relevant persons in a homogeneous social network is studied with computer simulation. The network is effective as a model for contempora...
125
click to vote
SIGUCCS
2006
ACM
15 years 9 months ago
2006
ACM
In recent years, the use of a computer has become a requirement for success in a collegiate environment, and the demand for mobile computing has sharply increased. In response to ...
147
click to vote
ESAW
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we present analysis and calibration techniques that exploit knowledge about a multi agent society in order to calibrate the system parameters of a corresponding socie...
165
Voted
AIM
2002
15 years 3 months ago
2002
The Infrastructure of modern society is controlled by software systems. These systems are vulnerable to attacks; several such attacks, launched by "recreation hackers" h...