Sciweavers

1186 search results - page 201 / 238
» Goal-Oriented Interaction Protocols
Sort
View
TACS
1997
Springer
14 years 3 months ago
A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
VLDB
1992
ACM
95views Database» more  VLDB 1992»
14 years 3 months ago
Production Rules in Parallel and Distributed Database Environments
In most database systems with production rule facilities, rules respond to operations on centralized data and rule processing is performed in a centralized, sequential fashion. In ...
Stefano Ceri, Jennifer Widom
ICASSP
2009
IEEE
14 years 2 months ago
What happens when cognitive terminals compete for a relaying node?
We introduce a new channel, which consists of an interference channel (IC) in parallel with an interference relay channel (IRC), to analyze the interaction between two selfish and...
Elena Veronica Belmega, Brice Djeumou, Samson Lasa...
ARGMAS
2006
Springer
14 years 2 months ago
Arguments and Counterexamples in Case-Based Joint Deliberation
Multiagent learning can be seen as applying ML techniques to the core issues of multiagent systems, like communication, coordination, and competition. In this paper, we address the...
Santiago Ontañón, Enric Plaza
CIA
2006
Springer
14 years 2 months ago
Conversation-Based Specification and Composition of Agent Services
There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves t...
Quoc Bao Vo, Lin Padgham