7961 search results - page 441 / 1593 » Input-Output Model Programs |
184
click to vote
FUIN
2002
15 years 6 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
144
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
This paper proposes a novel technique for a program evolution based on probabilistic models. In the proposed method, two probabilistic distribution models with probabilistic depen...
170
click to vote
IRI
2007
IEEE
16 years 21 days ago
2007
IEEE
Domain-specific modeling has become a popular way of designing and developing systems. It generally involves a systematic use of a set of object-oriented models to represent vari...
203
click to vote
ICMT
2009
Springer
16 years 29 days ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
150
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...