2678 search results - page 317 / 536 » Operational Semantics of Transactions |
196
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
199
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
205
click to vote
WEBI
2007
Springer
16 years 1 months ago
2007
Springer
There is a critical need to design and develop tools tract away the fundamental complexity of XML-based Web services specifications and toolkits, and provide an elegant, intuitive...
203
click to vote
IMC
2006
ACM
16 years 1 months ago
2006
ACM
A key step in the semantic analysis of network traffic is to parse the traffic stream according to the high-level protocols it contains. This process transforms raw bytes into s...
209
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
Collaborative filtering requires a centralized rating database. However, within a peer-to-peer network such a centralized database is not readily available. In this paper, we pro...