431 search results - page 23 / 87 » Failure or Success |
139
click to vote
DALT
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
168
Voted
NOSSDAV
2005
Springer
15 years 9 months ago
2005
Springer
The cost savings and novel features associated with Voice over IP (VoIP) are driving its adoption by service providers. Such a transition however can successfully happen only if t...
134
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
With the ever-increasing demands on server applications, many new server services are distributed in nature. We evaluated one hundred deployed systems and found that over a one-yea...
117
Voted
AIPS
2008
15 years 6 months ago
2008
This paper reports our experience extending an on-line printer controller based on AI planning to handle two significant features of this commercially important domain: execution ...
128
Voted
JWSR
2007
15 years 3 months ago
2007
: Testing the correctness of services assures the functional quality of service-oriented application. A service-oriented application may bind dynamically to its supportive services...