1398 search results - page 24 / 280 » Ensuring Properties of Interaction Systems |
118
click to vote
RTAS
2008
IEEE
15 years 4 months ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...
119
click to vote
IMR
2004
Springer
15 years 3 months ago
2004
Springer
Virtual prototyping and numerical simulations are increasingly replacing real mock-ups and experiments in industrial product development. Many of these simulations, e.g. for the p...
CHI
2002
ACM
15 years 10 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 ...
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
A new system for interactive streaming of high-resolution 360? panoramic views over the Internet is presented. The scene is represented very efficiently using MPEG-4 BIFS and disp...
120
click to vote
CONCUR
2003
Springer
15 years 3 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...