2173 search results - page 292 / 435 » An operational semantics for skeletons |
85
Voted
TGC
2007
Springer
15 years 7 months ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
TGC
2007
Springer
15 years 7 months ago
2007
Springer
Session types are a means of statically encoding patterns of interaction between two communicating parties. This paper explores a distributed calculus with session types in which a...
108
Voted
CCGRID
2006
IEEE
15 years 7 months ago
2006
IEEE
We have architected and evaluated a new kind of data resource, one that is composed of a logical collection of ephemeral data streams that could be viewed as a collection of publi...
94
Voted
ICAS
2006
IEEE
15 years 7 months ago
2006
IEEE
As context-aware systems become more widespread and mobile there is an increasing need for a common distributed event platform for gathering context information and delivering to ...
97
Voted
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
Malicious network traffic, including widespread worm activity, is a growing threat to Internet-connected networks and hosts. In this paper, we propose a network intrusion detectio...