9821 search results - page 284 / 1965 » A Framework for the Development of Protocols |
213
click to vote
WIOPT
2010
IEEE
15 years 5 months ago
2010
IEEE
—Wireless ad hoc networks are seldom characterized by one single performance metric, yet the current literature lacks a flexible framework to assist in characterizing the design...
192
click to vote
EWSN
2008
Springer
16 years 6 months ago
2008
Springer
Component-based architectures are the traditional approach cile application specific optimization with reusable abstractions in sensor networks. However, they frequently overwhelm ...
164
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
183
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
Modular component-based robot systems require not only an infrastructure for component management, but also scalability as well as real-time properties. Robot Technology (RT)-Midd...
168
click to vote
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
The slow speed of conventional execution-driven architecture simulators is a serious impediment to obtaining desirable research productivity. This paper proposes and evaluates a f...