8109 search results - page 477 / 1622 » A Model of Component-Based Programming |
202
click to vote
WSC
1997
15 years 9 months ago
1997
We introduce SIDE (the acronym stands for Sensors In a Distributed Environment)—a software package for developing control programs for reactive systems. One distinctive feature ...
225
click to vote
FUIN
2002
15 years 7 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...
168
click to vote
GECCO
2005
Springer
16 years 1 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...
197
click to vote
IRI
2007
IEEE
16 years 1 months 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...
241
click to vote
ICMT
2009
Springer
16 years 2 months 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...