81 search results - page 13 / 17 » On the Computation of Stubborn Sets of Colored Petri Nets |
GG
2010
Springer
13 years 8 months ago
2010
Springer
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
TCAD
1998
13 years 7 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
RTSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
SCIA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The accuracy of data classification methods depends considerably on the data representation and on the selected features. In this work, the elastic net model selection i...
ISTA
2008
13 years 9 months ago
2008
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...