171 search results - page 2 / 35 » A Type System for Data-Centric Synchronization |
CONCUR
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
CONCUR
2000
Springer
13 years 9 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
CDC
2009
IEEE
13 years 2 months ago
2009
IEEE
Abstract-- A kind of complex dynamical networks with timevarying coupling delays is proposed. By some transformation, the synchronization problem of the complex networks is transfe...
FSTTCS
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
HICSS
2002
IEEE
13 years 10 months ago
2002
IEEE
This research paper presents a new system's design and development of the prescription order communication system (POCS) based on the Internet between the hospital and the ph...