154 search results - page 20 / 31 » A Formal Semantics for Protocol Narrations |
109
click to vote
ESWS
2005
Springer
15 years 7 months ago
2005
Springer
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...
133
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
128
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
126
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Users of the web are increasingly interested in tracking the appearance of new postings rather than locating existing knowledge. Coupled with this is the emergence of the Web 2.0 ...
107
click to vote
COORDINATION
2009
Springer
16 years 2 months ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...