2678 search results - page 398 / 536 » Operational Semantics of Transactions |
109
click to vote
TGC
2007
Springer
15 years 10 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...
135
click to vote
CCGRID
2006
IEEE
15 years 10 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...
125
click to vote
ICAS
2006
IEEE
15 years 10 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 ...
133
click to vote
IPPS
2006
IEEE
15 years 10 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...
143
click to vote
BPM
2005
Springer
15 years 10 months ago
2005
Springer
: The capability to easily find useful services becomes increasingly critical in several fields. In this paper we argue that, in many situations, the service discovery process shou...