1817 search results - page 121 / 364 » Extensive Games as Process Models |
110
Voted
ICSOC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
114
Voted
SNPD
2008
15 years 2 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
215
click to vote
GIS
2004
ACM
16 years 1 months ago
2004
ACM
Data Warehouses and On-Line Analytical Processing systems rely on a multidimensional model that includes dimensions, hierarchies, and measures. Such model allows to express users&...
109
Voted
SAC
2005
ACM
15 years 6 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
107
click to vote
CCGRID
2010
IEEE
15 years 1 months ago
2010
IEEE
Markets of computing resources typically consist of a cluster (or a multi-cluster) and jobs that arrive over time and request computing resources in exchange for payment. In this p...