Sciweavers

669 search results - page 88 / 134
» Mastering the Master Theorem
Sort
View
DCOSS
2007
Springer
15 years 4 months ago
Localization for Anchoritic Sensor Networks
We introduce a class of anchoritic sensor networks, where communications between sensor nodes are undesirable or infeasible due to, e.g., harsh environments, energy constraints, or...
Yuliy M. Baryshnikov, Jian Tan
ICLP
2007
Springer
15 years 4 months ago
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...
MHCI
2007
Springer
15 years 4 months ago
Dynamic visualisation of ski data: a context aware mobile piste map
Tourism has been a key driver for mobile applications. This short paper presents the design and initial evaluation of a mobile phone based visualisation to support skiers. Paper p...
Mark D. Dunlop, Brian Elsey, Michelle Montgomery M...
AICT
2006
IEEE
142views Communications» more  AICT 2006»
15 years 4 months ago
An Inter-Piconet Scheduling Algorithm for Bluetooth Scatternets
Bluetooth is a wireless specification delivering short-range radio communication between electronic devices that are equipped with specialized Bluetooth chips. It lets nearly all ...
Suman Saha, Mitsuji Matsumoto
ASYNC
2006
IEEE
72views Hardware» more  ASYNC 2006»
15 years 4 months ago
Measuring Deep Metastability
Present measurement techniques do not allow synchronizer reliability to be measured in the region of most interest, that is, beyond the first half cycle of the synchronizer clock....
David Kinniment, Keith Heron, Gordon Russell