Sciweavers

325 search results - page 59 / 65
» Controlling Petri Net Process Models
Sort
View
POPL
1990
ACM
14 years 5 days ago
Concurrent Constraint Programming
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
Vijay A. Saraswat, Martin C. Rinard
SIGMETRICS
2002
ACM
107views Hardware» more  SIGMETRICS 2002»
13 years 8 months ago
Passage time distributions in large Markov chains
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...
Peter G. Harrison, William J. Knottenbelt
PDPTA
2003
13 years 10 months ago
Dependability Prediction of High Availability OSCAR Cluster Server
High availability (HA) computing has recently gained much attention, especially in enterprise and mission critical systems. The HA is now a necessity that is no longer regarded as...
Chokchai Leangsuksun, Lixin Shen, Tong Liu, Herton...
ECOWS
2009
Springer
14 years 17 days ago
An Analysis of Windows Workflow's Control-Flow Expressiveness
The Windows Workflow Foundation (WF) has been introduced as part of the .NET framework as a means of creating workflow-centric applications. Its intended field of application is br...
Marco Zapletal, Wil M. P. van der Aalst, Nick Russ...
MM
2000
ACM
94views Multimedia» more  MM 2000»
14 years 1 months ago
A digital television navigator
Digital television is a new, interesting, and rich platform for developing next generation multimedia services. Navigator is the most important Multimedia service of digital telev...
Chengyuan Peng, Petri Vuorimaa