Sciweavers

4529 search results - page 503 / 906
» Position Based Cryptography
Sort
View
CALCO
2007
Springer
112views Mathematics» more  CALCO 2007»
16 years 1 months ago
Impossibility Results for the Equational Theory of Timed CCS
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
Luca Aceto, Anna Ingólfsdóttir, Moha...
ECTEL
2007
Springer
16 years 1 months ago
CAMEL: Taking the Technology Enhanced Learning Journey without Reinventing the Wheel
Projects involving technology are notoriously dogged with difficulties and a number of lessons can be learned. Rather than detail examples from particular TEL projects, the author ...
Gill Ferrell
EEMMAS
2007
Springer
16 years 1 months ago
Combining Interface Agents and Situated Agents for Deploying Adaptive Web Applications
A web site presents a graph–like spatial structure composed of pages connected by hyperlinks. This structure may represent an environment in which situated agents associated to v...
Andrea Bonomi, Marcello Sarini, Giuseppe Vizzari
IBPRIA
2007
Springer
16 years 1 months ago
Stochastic Local Search for Omnidirectional Catadioptric Stereovision Design
Abstract. This paper deals with a compact catadioptric omnidirectional stereovision system based on a single camera and multi-mirrors (at least two mirrors). Many configurations w...
Gilles Dequen, Laure Devendeville, E. Mouaddib
ICARIS
2007
Springer
16 years 1 months ago
On Immune Inspired Homeostasis for Electronic Systems
Many electronic systems would benefit from the inclusion of self-regulatory mechanisms. We strive to build systems that can predict, or be aware of, imminent threats upon their sp...
Nick D. L. Owens, Jonathan Timmis, Andrew J. Green...