963 search results - page 23 / 193 » Types for Mobile Ambients |
ACSD
2008
IEEE
14 years 3 months ago
2008
IEEE
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...
FOSAD
2000
Springer
14 years 7 days ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...
CONTEXT
2007
Springer
14 years 2 months ago
2007
Springer
Ambient intelligent systems are context aware by perceiving and reasoning about their environment, they perceive the needs of their users and proactively respond to these needs by ...
ICECCS
2008
IEEE
14 years 3 months ago
2008
IEEE
A challenge for pervasive computing is the seamless integration of computer support with users’ activities in a very dynamic setting, with deep human and resource mobility. Port...
BIOSTEC
2011
12 years 8 months ago
2011
In this article we describe a new wireless biosignal system which monitors in a long-term basis, the users at their homes. The system consists of wearable sensors that measure hear...