Sciweavers

655 search results - page 99 / 131
» Coinduction in Concurrent Timed Systems
Sort
View
CONCUR
2004
Springer
15 years 5 months ago
Open Maps, Alternating Simulations and Control Synthesis
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
Paulo Tabuada
CW
2002
IEEE
15 years 4 months ago
Adaptive Content Model for Multimedia Presentation
Multimedia presentation systems require flexible support for the modeling of multimedia content models. Many presentation systems provide the synchronized, sequential or concurren...
L. Y. Deng, R.-X. Chen, R.-C. Chang, T.-S. Huang
BPM
2006
Springer
103views Business» more  BPM 2006»
15 years 3 months ago
IT Support for Release Management Processes in the Automotive Industry
Abstract. Car development is based on long running, concurrently executed and highly dependent processes. The coordination and synchronization of these processes has become a compl...
Dominic Müller, Joachim Herbst, Markus Hammor...
OSDI
1994
ACM
15 years 1 months ago
Implementation and Performance of Application-Controlled File Caching
Traditional le system implementations do not allow applications to control le caching replacement decisions. We have implemented two-level replacement, a scheme that allows appl...
Pei Cao, Edward W. Felten, Kai Li
COMAD
2009
15 years 28 days ago
On the Complexity of Multi-Query Optimization in Stream Grids
Stream grids are wide-area grid computing environments that are fed by a set of stream data sources. Such grids are becoming more wide-spread due to the large scale deployment of ...
Saikat Mukherjee, Srinath Srinivasa, Krithi Ramamr...