2685 search results - page 223 / 537 » A Formal Semantics for SPKI |
161
Voted
IJCAI
2003
15 years 8 months ago
2003
Preference elicitation is a serious bottleneck in many decision support applications and agent specification tasks. CP-nets were designed to make the preference elicitation proces...
160
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...
163
click to vote
ENTCS
2007
15 years 6 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
186
click to vote
ENTCS
2007
15 years 6 months ago
2007
Shared Messaging Communication (SMC) has been introduced in [9] as a model of communication which reduces communication costs (both in terms of communication latency and memory us...
216
click to vote
JAIR
2007
15 years 6 months ago
2007
Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match c...