Sciweavers

4382 search results - page 451 / 877
» Query by Semantic Example
Sort
View
RTSS
2005
IEEE
15 years 10 months ago
Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations
Mapping a set of feedback control components to executable code introduces errors due to a variety of factors such as discretization, computational delays, and scheduling policies...
Hakan Yazarel, Antoine Girard, George J. Pappas, R...
UML
2005
Springer
15 years 10 months ago
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal
Abstract. State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most po...
Michelle L. Crane, Jürgen Dingel
DALT
2004
Springer
15 years 10 months ago
On Modelling Multi-agent Systems Declaratively
Abstract. We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametr...
Andrea Bracciali, Paolo Mancarella, Kostas Stathis...
VL
1999
IEEE
109views Visual Languages» more  VL 1999»
15 years 9 months ago
Constraint-Based Diagram Beautification
Recently a new metaphor for diagramming, the intelligent diagram has emerged. This new metaphor provides an excellent basis for diagram beautification since it automatically colle...
Sitt Sen Chok, Kim Marriott, Tom Paton
VL
1999
IEEE
115views Visual Languages» more  VL 1999»
15 years 9 months ago
Derivative Meaning in Graphical Representations
This paper reports on the phenomenon that may be called "derivative meaning," where the basic semantic conventions for certain graphical representation systems give rise...
Atsushi Shimojima