Sciweavers

2604 search results - page 82 / 521
» Human Errors and System Requirements
Sort
View
HICSS
2008
IEEE
172views Biometrics» more  HICSS 2008»
14 years 2 months ago
Semantic Web Services Monitoring: An OWL-S Based Approach
In this paper we describe mechanisms for execution monitoring of semantic web services, based on OWL-S. The use of semantic descriptions and ontologies is a valuable extension to ...
Roman Vaculín, Katia P. Sycara
SEW
2003
IEEE
14 years 1 months ago
Instrumentation of Intermediate Code for Runtime Verification
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve R...
ICRA
2002
IEEE
116views Robotics» more  ICRA 2002»
14 years 19 days ago
Staying Alive: A Docking Station for Autonomous Robot Recharging
—Autonomous mobile robots are constrained in their long-term functionality due to a limited on-board power supply. Typically, rechargeable batteries are utilized that may only pr...
Milo C. Silverman, Dan Nies, Boyoon Jung, Gaurav S...
ICSE
2012
IEEE-ACM
11 years 10 months ago
make test-zesti: A symbolic execution solution for improving regression testing
Abstract—Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing method...
Paul Dan Marinescu, Cristian Cadar
IJRR
2011
226views more  IJRR 2011»
13 years 2 months ago
Place-dependent people tracking
Abstract People typically move and act under the constraints of an environment, making human behavior strongly place-dependent. Motion patterns, the places and the rates at which p...
Matthias Luber, Gian Diego Tipaldi, Kai Oliver Arr...