9110 search results - page 1591 / 1822 » Formally-Based Design Evaluation |
142
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— A wireless sensor network (WSN) is energy constrained, and the extension of its lifetime is one of the most important issues in its design. Usually, a WSN collects a la...
142
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
We address the problem of instruction selection for Multi-Output Instructions (MOIs), producing more than one result. Such inherently parallel hardware instructions are very commo...
145
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— A deep understanding of the structural properties of wireless networks is critical for evaluating the performance of network protocols and improving their designs. Many protoco...
162
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Most of the current trust models in peer-to-peer (P2P) systems are identity based, which means that in order for one peer to trust another, it needs to know the other peer’s ide...
149
click to vote
LCN
2007
IEEE
15 years 10 months ago
2007
IEEE
1 Vehicular Ad hoc NETworks (VANETs) is a subclass of Mobile Ad hoc NETworks (MANETs). However, automotive ad hoc networks will behave in fundamentally different ways than the pred...