2136 search results - page 117 / 428 » A Game-Theoretic Operational Semantics |
126
Voted
EDOC
2006
IEEE
15 years 9 months ago
2006
IEEE
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...
106
Voted
TGC
2005
Springer
15 years 9 months ago
2005
Springer
Protocol narrations are an informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message ex...
124
Voted
ANTSW
2004
Springer
15 years 9 months ago
2004
Springer
To anticipate and prevent acts of terrorism, Indications and Warnings analysts try to connect clues gleaned from massive quantities of complex data. Multi-agent approaches to suppo...
151
Voted
ICALP
1998
Springer
15 years 7 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
100
Voted
IJCAI
1989
15 years 4 months ago
1989
It is argued that Ginsberg's Possible Worlds Approach to counterfactual implication suffers from a number of defects which are the result of confusing proof theory and model ...