Sciweavers

62 search results - page 3 / 13
» An Execution Model for Demonstration-Based Visual Languages
Sort
View
FDL
2005
IEEE
13 years 11 months ago
Executable Specification of Novel Display Controllers
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
David Antonio-Torres, Paul F. Newbury, Paul F. Lis...
VL
2005
IEEE
123views Visual Languages» more  VL 2005»
13 years 11 months ago
A Visually-Specified Code Generator for Simulink/Stateflow
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizh...
VLC
2008
132views more  VLC 2008»
13 years 5 months ago
Enforced generative patterns for the specification of the syntax and semantics of visual languages
We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to tran...
Paolo Bottoni, Esther Guerra, Juan de Lara
VL
2005
IEEE
13 years 11 months ago
Transformation of UML State Machines for Direct Execution
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
Tim Schattkowsky, Wolfgang Müller 0003
HICSS
2002
IEEE
93views Biometrics» more  HICSS 2002»
13 years 10 months ago
High-Level Executable Specification of the Universal Plug and Play Architecture
Recently, Microsoft took a lead in the development of a standard for peer-to-peer network connectivity of various intelligent appliances, wireless devices and PCs. It is called th...
Uwe Glässer, Yuri Gurevich, Margus Veanes