91 search results - page 13 / 19 » Experimenting with Error Abstraction in Requirements Documen... |
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract-- In sensor environments and moving robot applications, the position of an object is often known imprecisely because of measurement error and/or movement of the object. In...
FMICS
2010
Springer
13 years 7 months 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...
ADHOCNOW
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. A current challenge in wireless sensor networks is the positioning of sensor nodes for indoor environments without dedicated hardware. Especially in this domain, many app...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract—In a mobile ad-hoc network scenario, where communication nodes are mounted on moving platforms (like jeeps, trucks, tanks, etc.), use of V-BLAST requires that the number...
INTERACT
2007
13 years 8 months ago
2007
Abstract. Visualizing social networks presents challeges for both nodelink and adjacency matrix representations. Social networks are locally dense, which makes node-link displays u...