5599 search results - page 214 / 1120 » Abstract State Services |
129
click to vote
PODS
2006
ACM
16 years 4 months ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
161
click to vote
ICNS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents SLA monitoring and management framework for telecommunication services. The basic requirements of this class of systems are specified and verified in context o...
168
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
Service-oriented computing, which offers more flexible means for application development, is gaining popularity. Service-oriented grid applications are constructed by selecting and...
170
click to vote
ERCIMDL
2006
Springer
15 years 8 months ago
2006
Springer
Archeological sites have heterogeneous information ranging from different artifacts, image data, geo-spatial information, chronological data, and other relevant metadata. ETANA-DL,...
123
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
We present Beaver, a method and architecture to "build dams" to protect servers from Denial of Service (DoS) attacks. Beaver allows efficient filtering of DoS traffic us...