365 search results - page 14 / 73 » Liveness in Timed and Untimed Systems |
NOSSDAV
2009
Springer
14 years 4 months ago
2009
Springer
Data dissemination in decentralized networks is often realized by using some form of swarming technique. Swarming enables nodes to gather dynamically in order to fulfill a certai...
ICCHP
2010
Springer
2010
Springer
Automatic Live Monitoring of Communication Quality for Normal-Hearing and Hearing-Impaired Listeners
13 years 12 months ago
Abstract. This contribution presents a system, which allows for a continuous monitoring of speech intelligibility from a single microphone signal. The system accounts for the detri...
BIOSTEC
2011
12 years 10 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...
ICCAD
1996
IEEE
14 years 2 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
CODES
2001
IEEE
14 years 1 months ago
2001
IEEE
We introduce the foundation of a system modeling environment targeted at capturing the anticipated interactions of hardware and software behaviors -- not just their co-execution. ...