1195 search results - page 31 / 239 » Modeling an Algebraic Stepper |
124
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
103
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
115
Voted
ICTAC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
84
Voted
POLICY
2007
Springer
15 years 8 months ago
2007
Springer
Data is often encumbered by restrictions on the ways in which it may be used. These restrictions on usage may be determined by statute, by contract, by custom, or by common decenc...
137
Voted
JUCS
2008
15 years 1 months ago
2008
: Software Product Lines (SPL) may be adopted by either bootstrapping existing software products into a SPL, or extending an existing SPL to encompass an additional software produc...