4385 search results - page 73 / 877 » Abstraction for Concurrent Objects |
103
click to vote
DAC
1996
ACM
15 years 5 months ago
1996
ACM
Concurrent verification of hardware and software as part of the development process can shorten the time to market of complex systems. The objectives of the Virtual CPU approach i...
107
Voted
PCM
2004
Springer
15 years 6 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...
113
click to vote
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
134
Voted
3DPH
2009
14 years 10 months ago
2009
Abstract. Teleradiology, which enables distribution and sharing of digital medical images for collaborative diagnosis, has enjoyed rapid success due to the advances in telecommunic...
104
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...