5863 search results - page 367 / 1173 » On Model-Checking of P Systems |
225
click to vote
SIGMOD
2011
ACM
14 years 10 months ago
2011
ACM
Considering a broad definition for service contracts (beyond web services and software, e.g. airline tickets and insurance policies), we tackle the challenges of building a high ...
187
click to vote
PDP
2007
IEEE
16 years 1 months ago
2007
IEEE
— In the last years peer-to-Peer (P2P) applications are emerging as potentially important structures for information, content management and distribution. The most popular P2P ap...
205
click to vote
ICNP
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper, we analyze the problem of network disconnection in the context of large-scale P2P networks and understand how both static and dynamic patterns of node failure affec...
195
click to vote
IPPS
2005
IEEE
16 years 1 months ago
2005
IEEE
— This paper introduces WSPeer, a high level interface to hosting and invoking Web services. WSPeer aims to support the diversification of Web service deployments by providing a...
188
click to vote
ATAL
2003
Springer
16 years 23 days ago
2003
Springer
Peer-to-peer (P2P) technology has undergone rapid growth, producing new protocols and applications, many of which enjoy considerable commercial success and academic interest. Yet, ...