2556 search results - page 198 / 512 » The Triconnected Abstraction of Process Models |
202
click to vote
WDAG
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We argue that failure detectors encapsulate fairness. Fairness is a measure of the number of steps a process takes relative to another processes and/or messages in transi...
194
click to vote
ICDCIT
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
168
click to vote
ISAAC
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. The Parallel Disks Model (PDM) has been proposed to alleviate the I/O bottleneck that arises in the processing of massive data sets. Sorting has been extensively studied ...
159
click to vote
PPSN
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We introduce a class of embedded-particle models for describing the emergent computational strategies observed in cellular automata (CAs) that were evolved for performing...
182
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...