4286 search results - page 595 / 858 » Formalizing Service Interactions |
118
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
In the multi-agent systems community, dependence theory and game theory are often presented as two alternative perspectives on the analysis of social interaction. Up till now no r...
124
click to vote
GG
2008
Springer
15 years 5 months ago
2008
Springer
Parallel and sequential independence are central concepts in the concurrency theory of the double pushout (dpo) approach to graph rewriting. However, so far those same notions were...
127
click to vote
AAMAS
2007
Springer
15 years 4 months ago
2007
Springer
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
140
click to vote
BIOSYSTEMS
2008
15 years 4 months ago
2008
The metabolic P algorithm is a procedure which determines, in a biochemically realistic way, the evolution of P systems representing biological phenomena. A new formulation of thi...
123
click to vote
ENTCS
2006
15 years 4 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...