Sciweavers

943 search results - page 46 / 189
» Property-Driven Scenario Integration
Sort
View
INFSOF
2000
96views more  INFSOF 2000»
13 years 7 months ago
Improving software quality using statistical testing techniques
Cleanroom usage-based statistical testing techniques have been incorporated into the software development process for a program in the Electronic Systems business of Raytheon Comp...
David P. Kelly, Robert Oshana
ICRA
2010
IEEE
123views Robotics» more  ICRA 2010»
13 years 6 months ago
Robotic motion planning in dynamic, cluttered, uncertain environments
— This paper presents a strategy for planning robot motions in dynamic, cluttered, and uncertain environments. Successful and efficient operation in such environments requires r...
Noel E. Du Toit, Joel W. Burdick
IJACI
2010
164views more  IJACI 2010»
13 years 6 months ago
Exploring Multi-Path Communication in Hybrid Mobile Ad Hoc Networks
Abstract. Ambient computing requires the integration of multiple mobile heterogeneous networks. Multi-path communication, in such scenarios, can provide reliability and privacy ben...
Roberto Speicys Cardoso, Mauro Caporuscio
PERCOM
2010
ACM
13 years 6 months ago
WebPlug: A framework for the Web of Things
Abstract—We present WebPlug, a framework for the emerging Web of Things. It consists of several building blocks which ease integration of things, including their sensors and actu...
Benedikt Ostermaier, Fabian Schlup, Kay Römer
PVLDB
2010
151views more  PVLDB 2010»
13 years 6 months ago
Data Auditor: Exploring Data Quality and Semantics using Pattern Tableaux
We present Data Auditor, a tool for exploring data quality and data semantics. Given a rule or an integrity constraint and a target relation, Data Auditor computes pattern tableau...
Lukasz Golab, Howard J. Karloff, Flip Korn, Divesh...