2108 search results - page 293 / 422 » An Operational Semantics for Stateflow |
112
click to vote
TGC
2007
Springer
15 years 10 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 ...
106
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...
134
Voted
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...
123
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 ...
131
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...