670 search results - page 80 / 134 » Modeling Workflow within Distributed Systems |
109
Voted
VLDB
1998
ACM
15 years 6 months ago
1998
ACM
The design of secure buffer managers for database systems supporting real-time applications with firm deadlines is studied here. We first identify the design challenges and then p...
123
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
128
Voted
HICSS
2012
IEEE
13 years 10 months ago
2012
IEEE
Potable water within significant areas of the nations of the Arabian Gulf region is most frequently manufactured (cogenerated) along with electricity. The most economic process ha...
120
Voted
COORDINATION
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
98
Voted
JSW
2008
15 years 2 months ago
2008
Checkpointing is a commonly used approach to provide system fault-tolerance. However, using a constant checkpointing frequency may compromise the system's overall performance ...