3199 search results - page 57 / 640 » Variability in Automation System Models |
108
click to vote
LICS
1997
IEEE
15 years 5 months ago
1997
IEEE
We present a game-theoretic model of the polymorphic -calculus, system F, as a fibred category. Every morphism of the model defines an -expanded, -normal form ^ of system F whose...
121
click to vote
JAIR
2010
15 years 22 days ago
2010
Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses. The set of diagnoses can be reduced by taking into account extra observations (passive mon...
171
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
106
Voted
EDOC
2008
IEEE
15 years 8 months ago
2008
IEEE
Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be c...
116
click to vote
TMI
2010
15 years 20 days ago
2010
—This paper presents a procedure for automatic extraction and segmentation of a class-specific object (or region) by learning class-specific boundaries. We describe and evaluat...