4 search results - page 1 / 1 » A simulation approach to design contracts that govern emerge... |
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
ICCAD
2004
IEEE
14 years 6 months ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
We present a simple ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population compute...
MOBICOM
2003
ACM
14 years 3 months ago
2003
ACM
Reducing the energy consumption by wireless communication devices is perhaps the most important issue in the widely-deployed and exponentially-growing IEEE 802.11 Wireless LANs (W...