4962 search results - page 663 / 993 » Stochastic Model Checking |
178
click to vote
EDBT
2010
ACM
16 years 1 months ago
2010
ACM
Schemas, and more generally metadata specifying structural and semantic constraints, are invaluable in data management. They facilitate conceptual design and enable checking of da...
165
click to vote
BPM
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
162
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
173
Voted
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Distributing scarce resources among agents in a way that maximizes the social welfare of the group is a computationally hard problem when the value of a resource bundle is not lin...
167
click to vote
WSC
2008
15 years 8 months ago
2008
Multitrajectory simulation allows explicit management of random events by allowing particular events to be resolved by random draw, by a deterministic choice, or by creating new s...