317 search results - page 49 / 64 » Reasoning about the Implementation of Concurrency Abstractio... |
100
click to vote
CIA
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper introduces a formal method to aggregate over basic beliefs, in order to deduce aggregated or complex beliefs as often used in applications. Complex beliefs can...
84
Voted
ECAI
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. Goals are central to the design and implementation of intelligent software agents. Much of the literature on goals and reasoning about goals only deals with a limited set...
ENTCS
2006
14 years 11 months ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
65
Voted
VLDB
1990
ACM
15 years 3 months ago
1990
ACM
ABSTRACT - In this paperwe describe the design, implementation, and performance of an incremental join facility that has been added as an extension to the Starburst extensible DBMS...
108
click to vote
PERCOM
2010
ACM
14 years 10 months ago
2010
ACM
— Enriched with more and more intelligent devices modern homes rapidly transform into smart environments. Their growing capabilities enable the implementation of a new generation...