655 search results - page 99 / 131 » Coinduction in Concurrent Timed Systems |
104
click to vote
CONCUR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
107
click to vote
CW
2002
IEEE
15 years 4 months ago
2002
IEEE
Multimedia presentation systems require flexible support for the modeling of multimedia content models. Many presentation systems provide the synchronized, sequential or concurren...
101
click to vote
BPM
2006
Springer
15 years 3 months ago
2006
Springer
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...
OSDI
1994
ACM
15 years 1 months ago
1994
ACM
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...
113
click to vote
COMAD
2009
15 years 28 days ago
2009
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 ...