1524 search results - page 247 / 305 » Operational Semantics of Hybrid Systems |
ICDT
2007
ACM
15 years 3 months ago
2007
ACM
Abstract. Information concerning the origin of data (that is, its provenance) is important in many areas, especially scientific recordkeeping. Currently, provenance information mu...
TGC
2007
Springer
15 years 3 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 ...
CCGRID
2006
IEEE
15 years 3 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...
IPPS
2006
IEEE
15 years 3 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...
ICTCS
2005
Springer
15 years 3 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...