184 search results - page 28 / 37 » Superposition for Fixed Domains |
118
click to vote
COORDINATION
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Tuple spaces have turned out to be one of the most fundamental abstractions for coordinating communicating agents. At the same time, researchers continue to propose new v...
PPDP
2000
Springer
15 years 4 months ago
2000
Springer
Events play an important role in the construction of most software that involves interaction or simulation. Typically, programmers make use of a fixed set of low level events supp...
90
Voted
CARDIS
2008
Springer
15 years 2 months ago
2008
Springer
This paper introduces the Trusted Execution Module (TEM); a high-level specification for a commodity chip that can execute usersupplied procedures in a trusted environment. The TEM...
108
Voted
FOIKS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We present a novel logic-based approach to automate multi-issue bilateral negotiation in e-marketplaces. In such frameworks issues to negotiate on can be multiple, interr...
AAAI
2010
15 years 1 months ago
2010
We present an on-line decentralised algorithm for coordinating mobile sensors for a broad class of information gathering tasks. These sensors can be deployed in unknown and possib...