1728 search results - page 153 / 346 » Formal Modeling of Process Migration |
127
click to vote
WSC
2004
15 years 4 months ago
2004
Stochastic Petri nets (SPNs) have proven to be a powerful and enduring graphically-oriented framework for modelling and performance analysis of complex systems. This tutorial focu...
118
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
119
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we present a framework for the evaluation and (re)design of modeling languages. We focus here on the evaluation of the suitability of a language to model a set or rea...
122
click to vote
ICGI
1994
Springer
15 years 7 months ago
1994
Springer
We describe a framework for inducing probabilistic grammars from corpora of positive samples. First, samples are incorporated by adding ad-hoc rules to a working grammar; subseque...
155
click to vote
AAAI
1994
15 years 4 months ago
1994
Although creativity has largely been studied in problem solving contexts, creativity consists of both a generative component and a comprehension component. In particular, creativi...