1875 search results - page 161 / 375 » A Calculus of Broadcasting Systems |
184
click to vote
CADE
2008
Springer
16 years 6 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-...
165
click to vote
HASE
1997
IEEE
15 years 10 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...
148
click to vote
CHI
2002
ACM
16 years 6 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 ...
175
click to vote
SIGIR
2000
ACM
15 years 10 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...
163
click to vote
MDA
1999
Springer
15 years 10 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...