1875 search results - page 161 / 375 » A Calculus of Broadcasting Systems |
151
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
127
click to vote
HASE
1997
IEEE
15 years 7 months ago
1997
IEEE
Abstract: We present a time-bounded state-based communication mechanism for dynamically reconfigurable embedded systems. The mechanism is a single-processor, low-overhead version o...
114
Voted
CHI
2002
ACM
16 years 4 months ago
2002
ACM
GAZE-2 is an attentive video conferencing system that conveys whom users are talking to by measuring whom a user looks at and then rotating his video image towards that person in ...
146
Voted
SIGIR
2000
ACM
15 years 8 months ago
2000
ACM
The Cambridge University Multimedia Document Retrieval Demo System is a web based application that allows the user to query a database of automatically generated transcripts of ra...
139
Voted
MDA
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In this paper, we propose dynamic discrete-event based models for information dissemination systems in both single cell and multiple cell mobile environments. We demonstr...