2106 search results - page 299 / 422 » Operational Semantics for DyLPs |
173
click to vote
FSEN
2007
Springer
16 years 16 days 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...
173
click to vote
ICLP
2007
Springer
16 years 16 days 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)...
179
click to vote
WEBI
2007
Springer
16 years 14 days 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...
181
click to vote
IMC
2006
ACM
16 years 10 days 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...
175
click to vote
SAC
2006
ACM
16 years 10 days 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...