2493 search results - page 232 / 499 » Tool Support for Design by Contract |
218
click to vote
MOBIHOC
2005
ACM
16 years 6 months ago
2005
ACM
Node compromise poses severe security threats in wireless sensor networks. Unfortunately, existing security designs can address only a small, fixed threshold number of compromised...
184
click to vote
SPAA
2009
ACM
16 years 7 months ago
2009
ACM
We consider buffer management of unit packets with deadlines for a multi-port device with reconfiguration overhead. The goal is to maximize the throughput of the device, i.e., the...
198
click to vote
MOBICOM
2003
ACM
15 years 12 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...
186
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Asynchronous design has been the focus of renewed interest. However, a key bottleneck is the lack of high-quality CAD tools for the synthesis of large-scale systems which also all...
172
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...