1829 search results - page 359 / 366 » Towards Validation of Requirements Models |
142
click to vote
ICCD
2005
IEEE
15 years 9 months ago
2005
IEEE
Nanoelectronic devices are expected to have extremely high and variable fault rates; thus future processor architectures based on these unreliable devices need to be built with fa...
171
click to vote
EUROGP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Wireless sensor networks (WSNs) are medium scale manifestations of a paintable or amorphous computing paradigm. WSNs are becoming increasingly important as they attain gr...
145
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
128
click to vote
ICDCS
2003
IEEE
15 years 9 months ago
2003
IEEE
Three collision-avoidance protocols are analyzed that use omni-directional packet reception together with omnidirectional transmissions, directional transmissions, or a combinatio...
151
click to vote
SIGMETRICS
2003
ACM
15 years 9 months ago
2003
ACM
Distributed hash table (DHT) systems are an important class of peer-to-peer routing infrastructures. They enable scalable wide-area storage and retrieval of information, and will ...