10038 search results - page 651 / 2008 » Model Checking for Managers |
192
click to vote
AINA
2006
IEEE
16 years 1 months ago
2006
IEEE
The automatic integration of devices into dynamic, automatically configured networks alone does not take advantage of the entire potential of Service Oriented Architectures (SOA)...
196
click to vote
HPDC
2006
IEEE
16 years 1 months ago
2006
IEEE
Grid computing has reached the stage where deployments are mature and many collaborations run in production mode. Mature Grid deployments offer the opportunity for revisiting and ...
214
click to vote
AIMS
2010
Springer
16 years 7 days ago
2010
Springer
Abstract. A central issue in autonomic management is how to coordinate several autonomic management processes, which is assumed to require significant knowledge exchange. This stu...
189
click to vote
DSS
2007
15 years 7 months ago
2007
There is much literature in the area of emergency response management systems. Even so, there is in general a lacuna of literature that deals with the issue of measuring the effec...
225
click to vote
JWSR
2006
15 years 7 months ago
2006
Web/Gridservices'metadataandsemanticsarebecomingincreasingimportantforservicesharing and effective reuse. In this paper we present a generic framework for engineering and man...