1681 search results - page 229 / 337 » Formal Design of Distributed Control Systems with Lustre |
140
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper? provides a description of our Network Time Interface M-Module NTI supporting high-accuracy external clock synchronization by hardware. The NTI is built around our custo...
149
click to vote
ENTCS
2007
15 years 6 months ago
2007
RCCS is a variant of Milner’s CCS where processes are allowed a controlled form of backtracking. It turns out that the RCCS reinterpretation of a CCS process is equivalent, in t...
220
click to vote
IJMHCI
2011
15 years 1 months ago
2011
We present a novel framework for easy creation of interactive, platform-independent voice-services with an animated 3D talking-head interface, on mobile phones. The framework supp...
168
click to vote
JACM
2002
15 years 6 months ago
2002
Abstract. Shared registers are basic objects used as communication mediums in asynchronous concurrent computation. A concurrent timestamp system is a higher typed communication obj...
168
click to vote
VRML
1999
ACM
15 years 10 months ago
1999
ACM
We describe a VRML/Java-based virtual environment that is populated with heterogeneous articulated agents. In this simulated environment, agents compete for collecting certain obj...