Sciweavers

878 search results - page 103 / 176
» Interacting Abstract State Machines
Sort
View
CSSE
2008
IEEE
15 years 4 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
15 years 4 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
ICCS
2007
Springer
15 years 4 months ago
Composing Different Models of Computation in Kepler and Ptolemy II
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scienti...
Antoon Goderis, Christopher Brooks, Ilkay Altintas...
MLMI
2005
Springer
15 years 3 months ago
Multimodal Authoring Tool for Populating a Database of Emotional Reactive Animations
Abstract. We aim to create a model of emotional reactive virtual humans. This model will help to define realistic behavior for virtual characters based on emotions and events in t...
Alejandra García-Rojas, Mario Gutiér...
62
Voted
UML
2005
Springer
15 years 3 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