1187 search results - page 36 / 238 » A Timed Calculus for Wireless Systems |
ICLP
2003
Springer
14 years 3 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
FLOPS
2008
Springer
13 years 11 months ago
2008
Springer
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
We present Saltate!, a wireless prototype system to support beginners of ballroom dancing. Saltate! acquires data from force sensors mounted under the dancers' feet, detects ...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
TITB
2010
13 years 4 months ago
2010
Ambient intelligence has acquired great importance in recent years and requires the development of new innovative solutions. This paper presents a distributed telemonitoring system...