880 search results - page 145 / 176 » Semantics-Based Concurrency Control |
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
PCM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, we propose a Java-based collaborative authoring system for multimedia presentation. Our system is composed of an Editing System, a Media Object Manager and...
COOPIS
2003
IEEE
14 years 28 days ago
2003
IEEE
The Common Object Request Broker Architecture standardizes a platform- and programming-language-independent distributed object computing environment. It also provides a standard fo...
HAPTICS
2003
IEEE
14 years 28 days ago
2003
IEEE
Machine-mediated training of dynamic task completion is typically implemented with passive intervention via virtual fixtures or active assist by means of record and replay strateg...