10870 search results - page 2023 / 2174 » Model Checking Programs |
113
click to vote
CCGRID
2004
IEEE
15 years 5 months ago
2004
IEEE
: The Open Grid Service Infrastructure (OGSI) has been designed to facilitate the creation of multiple, interoperable Grid Service hosting environments, but to date only one fully ...
142
click to vote
COOPIS
2004
IEEE
15 years 5 months ago
2004
IEEE
By QoS (Quality of Service), we often refer to a set of quality requirements on the collective behavior of one or more objects. These requirements enable the provision of better se...
133
click to vote
COOPIS
2004
IEEE
15 years 5 months ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
108
click to vote
DSN
2004
IEEE
15 years 5 months ago
2004
IEEE
The progression of implementation technologies into the sub-100 nanometer lithographies renew the importance of understanding and protecting against single-event upsets in digital...
121
click to vote
CIA
2006
Springer
15 years 5 months ago
2006
Springer
There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves t...