228 search results - page 9 / 46 » Programming Sensor Networks Using Remora Component Model |
117
click to vote
BROADNETS
2006
IEEE
15 years 4 months ago
2006
IEEE
Sensor webs are heterogeneous collections of sensor devices that collect information and interact with the environment. They consist of wireless sensor networks that are ensembles ...
89
Voted
TC
2008
15 years 11 days ago
2008
This paper presents a new coverage formulation addressing the quality of service of sensor networks that cooperatively detect targets traversing a region of interest. The problem o...
117
click to vote
CJ
2010
14 years 10 months ago
2010
an be used to abstract away from the physical reality by describing it as components that exist in discrete states with probabilistically invoked actions that change the state. The...
135
click to vote
FMICS
2010
Springer
15 years 19 days ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
92
Voted
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper proposes a concurrency model which integrates the asynchronous and event-driven nature of wireless etworks with higher-level abstractions that provide a more familiar p...