2501 search results - page 299 / 501 » Logics with Rank Operators |
163
click to vote
DEBS
2003
ACM
16 years 11 days ago
2003
ACM
Publish/subscribe (pub/sub) middleware facilitates loosely coupled cooperation and fits well the needs of spontaneous, ad-hoc interaction. However, newly started mobile applicati...
162
click to vote
CONCUR
2003
Springer
16 years 10 days ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...
236
Voted
DEON
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. We show that a recently developed theory of positive permission based on the notion of derogation is hampered by a triviality result that indicates a problem with the und...
166
click to vote
EVOW
2001
Springer
15 years 11 months ago
2001
Springer
We propose a multi-agent genetic algorithm to accomplish belief revision. The algorithm implements a new evolutionary strategy resulting from a combination of Darwinian and Lamarck...
185
Voted
PACT
2001
Springer
15 years 11 months ago
2001
Springer
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an oper...