2153 search results - page 349 / 431 » From Requirements Models to Formal Specifications in B |
178
click to vote
MOBIHOC
2006
ACM
16 years 6 months ago
2006
ACM
To date, topology control in wireless ad hoc and sensor networks--the study of how to compute from the given communication network a subgraph with certain beneficial properties--h...
405
click to vote
Tutorial
The explosive growth of location-detection devices (e.g., GPS-like devices and handheld devices) along with wireless communications and mobile databases results in realizing locati...
200
click to vote
MOBISYS
2004
ACM
16 years 6 months ago
2004
ACM
Wireless data broadcast has received a lot of attention from industries and academia in recent years. Access efficiency and energy conservation are two critical performance concer...
175
click to vote
ISLPED
2003
ACM
16 years 3 days ago
2003
ACM
Traditional pulldown comparators that are used to implement associativeaddressing logic in superscalar microprocessors dissipate energy on a mismatch in any bit position in the co...
192
click to vote
ICDE
2010
IEEE
15 years 9 months ago
2010
IEEE
HECATAEUS is an open-source software tool for enabling impact prediction, what-if analysis, and regulation of relational database schema evolution. We follow a graph theoretic appr...