Sciweavers

2243 search results - page 297 / 449
» Contracts for Mobile Processes
Sort
View
LISP
2008
101views more  LISP 2008»
15 years 6 months ago
Flow-sensitive type systems and the ambient calculus
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
Torben Amtoft
PERVASIVE
2008
Springer
15 years 6 months ago
Rapid Prototyping of Activity Recognition Applications
The Context Recognition Network (CRN) Toolbox permits fast implementation of activity and context recognition systems. It utilizes parameterizable and reusable software components...
David Bannach, Oliver Amft, Paul Lukowicz
SIGCOMM
2010
ACM
15 years 6 months ago
NeuroPhone: brain-mobile phone interface using a wireless EEG headset
Neural signals are everywhere just like mobile phones. We propose to use neural signals to control mobile phones for hands-free, silent and effortless human-mobile interaction. Un...
Andrew T. Campbell, Tanzeem Choudhury, Shaohan Hu,...
COORDINATION
2004
Springer
15 years 12 months ago
On Calculi for Context-Aware Coordination
Abstract. Modern distributed computing demands unprecedented levels of dynamicity and reconfiguration. Mobile computing, peer-to-peer networks, computational grids, multiagent sys...
Pietro Braione, Gian Pietro Picco
ICIP
2002
IEEE
16 years 8 months ago
Energy efficient wireless video communications for the digital set-top box
In the future, digital set -top boxes may serve as the primary access point for wireless home networks, enabling mobile us ers to use video conferencing as well as streaming appli...
Yiftach Eisenberg, Carlos E. Luna, Thrasyvoulos N....