Sciweavers

2347 search results - page 162 / 470
» Location, location, location: a study of bluejacking practic...
Sort
View
AI
2007
Springer
16 years 21 days 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
16 years 1 days 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 12 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 11 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 11 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