Sciweavers

1413 search results - page 157 / 283
» Bisimilarity of Open Terms
Sort
View
MOBICOM
2006
ACM
16 years 16 days ago
Using packet probes for available bandwidth estimation: a wireless testbed experience
Evaluating available bandwidth estimation methods requires a malleable MAC protocol implementation, precise MAC layer packet timing measurements, and the ability to create control...
Mesut Ali Ergin, Marco Gruteser
MOBIDE
2006
ACM
16 years 16 days ago
Boosting location-based services with a moving object database engine
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
Nikos Pelekis, Yannis Theodoridis
NORDICHI
2006
ACM
16 years 15 days ago
A new role for anthropology?: rewriting "context" and "analysis" in HCI research
In this paper we want to reconsider the role anthropology (both its theory and methods) can play within HCI research. One of the areas anthropologists can contribute to here is to...
Minna Räsänen, James M. Nyce
SASN
2006
ACM
16 years 15 days ago
Seven cardinal properties of sensor network broadcast authentication
We investigate the design space of sensor network broadcast authentication. We show that prior approaches can be organized based on a taxonomy of seven fundamental proprieties, su...
Mark Luk, Adrian Perrig, Bram Whillock
SCESM
2006
ACM
269views Algorithms» more  SCESM 2006»
16 years 15 days ago
Inferring operational requirements from scenarios and goal models using inductive learning
Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the...
Dalal Alrajeh, Alessandra Russo, Sebastián ...