2685 search results - page 465 / 537 » A Formal Semantics for SPKI |
211
click to vote
IHIS
2005
ACM
15 years 11 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
176
click to vote
KCAP
2005
ACM
15 years 11 months ago
2005
ACM
Ontology mapping negotiation aims to achieve consensus among real-world entities about the process of transforming information between different models (ontologies). This paper de...
159
click to vote
MSR
2005
ACM
15 years 11 months ago
2005
ACM
Programmers often create similar code snippets or reuse existing code snippets by copying and pasting. Code clones —syntactically and semantically similar code snippets—can ca...
160
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...
169
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...