2357 search results - page 91 / 472 » Computing Refactorings of Behavior Models |
86
Voted
KIVS
2005
Springer
15 years 3 months ago
2005
Springer
: We develop a model for the distribution of nodes in ring-based DHTs like Chord that position nodes randomly or based on hash-functions. As benefit of our model we get the distri...
95
Voted
SBP
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Firms’ conjectures about demand are consequential in oligopoly games. Through agent-based modeling of consumers’ search for products, we can study the rationing of de...
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
77
Voted
SPIN
2005
Springer
15 years 3 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
99
Voted
ISSADS
2005
Springer
15 years 3 months ago
2005
Springer
Workflow is the key technology for business process automation, while distributed workflow is the solution to deal with the decentralized nature of workflow applications and the pe...