494 search results - page 4 / 99 » Distributed Resolution for ALC |
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
ICDCS
1996
IEEE
13 years 11 months ago
1996
IEEE
PDP
2005
IEEE
14 years 1 months ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
PODC
2010
ACM
13 years 5 months ago
2010
ACM
We present and analyze simple distributed contention resolution protocols for wireless networks. In our setting, one is given n pairs of senders and receivers located in a metric ...
WDAG
2010
Springer
13 years 6 months ago
2010
Springer
We present and analyze simple distributed contention resolution protocols for wireless networks. In our setting, one is given n pairs of senders and receivers located in a metric ...