571 search results - page 79 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
147
Voted
CAISE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The emergence of large-scale online collaboration requires current information systems to be apprehended as service ensembles comprising human and software service entiti...
161
click to vote
GCC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...
162
click to vote
PPOPP
2010
ACM
16 years 23 days ago
2010
ACM
To fully exploit multicore processors, applications are expected to provide a large degree of thread-level parallelism. While adequate for low core counts and their typical worklo...
170
click to vote
COCOON
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...
171
click to vote
CONCUR
2001
Springer
15 years 10 months ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...