Sciweavers

2347 search results - page 162 / 470
» Location, location, location: a study of bluejacking practic...
Sort
View
AI
2007
Springer
15 years 4 months ago
Multiagent-Based Dynamic Deployment Planning in RTLS-Enabled Automotive Shipment Yard
Real-time vehicle location information enables to facilitate more efficient decision-making in dynamic automotive shipment yard environment. This paper proposes a multiagent-based ...
Jindae Kim, Changsoo Ok, Soundar R. T. Kumara, Sha...
FATES
2005
Springer
15 years 3 months ago
A Novel Test Coverage Metric for Concurrently-Accessed Software Components
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...
Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. ...
CAV
2004
Springer
77views Hardware» more  CAV 2004»
15 years 3 months ago
Understanding Counterexamples with explain
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
Alex Groce, Daniel Kroening, Flavio Lerda
ICRA
2003
IEEE
116views Robotics» more  ICRA 2003»
15 years 3 months ago
Linear time vehicle relocation in SLAM
Abstract— In this paper we propose an algorithm to determine the location of a vehicle in an environment represented by a stochastic map, given a set of environment measurements ...
José Neira, Juan D. Tardós, Jos&eacu...
DATE
2002
IEEE
99views Hardware» more  DATE 2002»
15 years 3 months ago
Gate Level Fault Diagnosis in Scan-Based BIST
A gate level, automated fault diagnosis scheme is proposed for scan-based BIST designs. The proposed scheme utilizes both fault capturing scan chain information and failing test v...
Ismet Bayraktaroglu, Alex Orailoglu