10568 search results - page 1616 / 2114 » Computer Intelligence and Formalization |
158
click to vote
DEBS
2003
ACM
16 years 13 days ago
2003
ACM
We present a design of a distributed publish-subscribe system that extends the functionality of messaging middleware with “relational subscriptions”, to support timely updates...
186
click to vote
POPL
2003
ACM
16 years 12 days ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
232
click to vote
SIGECOM
2003
ACM
16 years 12 days ago
2003
ACM
We examine correlated equilibria in the recently introduced formalism of graphical games, a succinct representation for multiplayer games. We establish a natural and powerful rela...
188
click to vote
ASP
2003
Springer
16 years 12 days ago
2003
Springer
Default logic is used to describe regular behavior and normal properties. We suggest to exploit the framework of default logic for detecting outliers - individuals who behave in a...
207
click to vote
CHARME
2003
Springer
16 years 12 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...