1636 search results - page 235 / 328 » Reasoning About Quantum Systems |
150
click to vote
SIROCCO
2004
15 years 7 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...
160
click to vote
AAAI
1996
15 years 7 months ago
1996
We propose an agent-based framework for assisting and simplifying person-to-person communication for information gathering tasks. As an example, we focus on locating experts for a...
163
click to vote
AAMAS
2007
Springer
15 years 6 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
156
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
169
click to vote
ISI
2008
Springer
15 years 6 months ago
2008
Springer
Identity Management plays a crucial role in many application contexts, including e-governments, e-commerce, business intelligence, investigation, and homeland security. The variet...