2934 search results - page 436 / 587 » Universality in Multi-Agent Systems |
105
click to vote
TABLEAUX
1998
Springer
15 years 2 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
PODC
1996
ACM
15 years 2 months ago
1996
ACM
Drawing ideas from previous authors, we present a new non-blocking concurrent queue algorithm and a new twolock queue algorithm in which one enqueue and one dequeue can proceed co...
POPL
1990
ACM
15 years 2 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
DEBS
2010
ACM
15 years 2 months ago
2010
ACM
Network bottlenecks, firewalls, restrictions on IP Multicast availability and administrative policies have long prevented the use of multicast even where the fit seems obvious. ...
CLEF
2006
Springer
15 years 2 months ago
2006
Springer
This paper presents Wolverhampton University's participation in the WiQA competition. The method chosen for this task combines a high precision, but low recall information re...