2024 search results - page 118 / 405 » A Formal Model of Multi-agent Computations |
134
click to vote
FC
2005
Springer
15 years 9 months ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...
122
click to vote
NC
2006
15 years 4 months ago
2006
Biochemical reactions taking place in living systems that map different inputs to specific outputs are intuitively recognized as performing information processing. Conventional wis...
133
click to vote
FMOODS
2006
15 years 5 months ago
2006
Abstract. The usual context of service oriented computing is characterized by several services offering the same functionalities, new services that are continuosly deployed and oth...
153
click to vote
JIT
2005
Springer
15 years 9 months ago
2005
Springer
: Access to Grid services is currently limited to devices having significant computing, network resources etc. such as desktop computers. On the other hand, most of mobile devices ...
155
click to vote
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we describe an extension of timed automata with priorities, and efficient algorithms to compute subtraction on DBMs (difference bounded matrices), needed in symbolic ...