722 search results - page 115 / 145 » The State Operator in Real Time Process Algebra |
118
click to vote
QEST
2007
IEEE
15 years 8 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
106
click to vote
SIGCSE
2009
ACM
15 years 6 months ago
2009
ACM
Wireless sensor networks are revolutionizing the instrumentation of the physical world, across scientific, industrial and military applications. In this paper, we describe our eff...
125
click to vote
MM
2000
ACM
15 years 6 months ago
2000
ACM
In this paper we present a generic late-join service for distributed interactive media, i.e., networked media which involve user interactions. Examples for distributed interactive...
107
click to vote
AMI
2008
Springer
15 years 3 months ago
2008
Springer
With today's technology, elderly users could be supported in living independently in their own homes for a prolonged period of time. Commercially available products enable rem...
CHI
2010
ACM
15 years 3 months ago
2010
ACM
Effective group meetings are important for the productivity of corporations. Various types of meeting facilitators have been developed over the past couple of years. We present a ...