4962 search results - page 663 / 993 » Stochastic Model Checking |
133
Voted
EDBT
2010
ACM
15 years 9 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...
126
Voted
BPM
2010
Springer
15 years 3 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...
120
Voted
FOSSACS
2005
Springer
15 years 8 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...
122
click to vote
ATAL
2006
Springer
15 years 6 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...
124
Voted
WSC
2008
15 years 5 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...