71 search results - page 12 / 15 » What Ants Cannot Do |
CADE
2005
Springer
14 years 10 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
SIGCOMM
2003
ACM
14 years 3 months ago
2003
ACM
We propose a new objective for network research: to build a fundamentally different sort of network that can assemble itself given high level instructions, reassemble itself as re...
PODC
2006
ACM
14 years 3 months ago
2006
ACM
We consider deterministic distributed broadcasting on multiple access channels in the framework of adversarial queuing. Packets are injected dynamically by an adversary that is co...
MOBIQUITOUS
2005
IEEE
14 years 3 months ago
2005
IEEE
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...
BIRTHDAY
2009
Springer
13 years 7 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...