Sciweavers

648 search results - page 28 / 130
» A Proposal for ASM Diagrams
Sort
View
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
13 years 11 months ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe
FASE
2001
Springer
14 years 4 days ago
Strengthening UML Collaboration Diagrams by State Transformations
Abstract. Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying...
Reiko Heckel, Stefan Sauer
DIAGRAMS
2004
Springer
14 years 1 months ago
A Prototype Inference Engine for Rule-Based Geometric Reasoning
Abstract. Isaac is a rule-based visual language for mobile robots using evidential reasoning and a fuzzy inference engine. A prototype inference engine for Isaac has been implement...
Joseph J. Pfeiffer Jr.
ICPR
2006
IEEE
14 years 8 months ago
Multi-View Active Shape Model with Robust Parameter Estimation
Active Shape Model is an efficient way for localizing objects with variable shapes. When ASM is extended to multiview cases, the parameter estimation approaches in previous works ...
Li Zhang, Haizhou Ai
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
14 years 2 months ago
Compositional specification of behavioral semantics
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
Kai Chen 0003, Janos Sztipanovits, Sandeep Neema