677 search results - page 136 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
ISMB
1998
14 years 10 months ago
1998
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...
SAC
2003
ACM
15 years 2 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...