Sciweavers

4604 search results - page 610 / 921
» Concurrency in Synchronous Systems
Sort
View
CSFW
2000
IEEE
15 years 11 months ago
Secure Composition of Untrusted Code: Wrappers and Causality Types
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
Peter Sewell, Jan Vitek
LCN
2000
IEEE
15 years 11 months ago
End-to-End QoS Management for Delay-Sensitive Scalable Multimedia Streams over DiffServ
The migration of the Internet from classic computer communication to a platform for multimedia applications with real-time communication requires end-to-end improvements of the ne...
Markus Albrecht, Michael Köster, Peter Martin...
ICDAR
1999
IEEE
15 years 11 months ago
Text/Graphics Separation using Agent-based Pyramid Operations
This paper describes a document image analysis system using multiple agents working on a pyramid structure to separate text from graphics in the image. Text strings appear as diff...
Chew Lim Tan, Bo Yuan, Weihua Huang, Qian Wang, Zh...
CONCUR
1999
Springer
15 years 11 months ago
Statecharts Via Process Algebra
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...
Gerald Lüttgen, Michael von der Beeck, Rance ...
IPPS
1998
IEEE
15 years 11 months ago
Design of a FEM Computation Engine for Real-Time Laparoscopic Surgery Simulation
We present the design of a computation engine for a real-time laparoscopic surgery simulator. Since this simulator requires realistic real-time and real-world behaviour, a physica...
Alex Rhomberg, Rolf Enzler, Markus Thaler, Gerhard...