3104 search results - page 436 / 621 » Using quantitative analysis to implement autonomic IT system... |
134
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
138
click to vote
IAAI
2001
15 years 6 months ago
2001
The innovative reapplication of a multi-agent system for human-in-the-loop (HIL) simulation was a consequence of appropriate agent oriented design. The use of intelligent agents f...
150
click to vote
DILS
2005
Springer
15 years 10 months ago
2005
Springer
We have been developing a system for comparing multiple genomes, PLATCOM, where users can choose genomes of their choice freely and perform analysis of the selected genomes with a...
162
click to vote
MOBISYS
2010
ACM
15 years 7 months ago
2010
ACM
To realize the potential of opportunistic and participatory sensing using mobile smartphones, a key challenge is ensuring the ease of developing and deploying such applications, w...
131
Voted
ICAIL
2003
ACM
15 years 10 months ago
2003
ACM
In the last decades the interest in the problem of comparing and harmonizing legislation has been steadily increasing. One reason is the increasing legal convergence between gover...