Sciweavers

29172 search results - page 150 / 5835
» Modeling Systems in CLP
Sort
View
SIES
2007
IEEE
14 years 4 months ago
Protocol Modelling Semantics for Embedded Systems
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
Ashley T. McNeile, Ella E. Roubtsova
IADIS
2004
13 years 11 months ago
Integrating query and hypertext modeling in web information systems development
MIDAS is a model-driven methodology for Web Information Systems development based on the OMG's Model Driven Architecture. It proposes to use UML to describe different views o...
José María Cavero, Esperanza Marcos,...
WSC
1998
13 years 11 months ago
Communicating Structures for Modeling Large-scale Systems
ating Structures is a system abstraction that helps to model large-scale distributed systems, whose performance mostly depends on how well the data and messages traffic is organiz...
Vadim E. Kotov
CDC
2008
IEEE
103views Control Systems» more  CDC 2008»
14 years 4 months ago
Symbolic models for nonlinear control systems affected by disturbances
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...
Giordano Pola, Paulo Tabuada
DATE
2003
IEEE
123views Hardware» more  DATE 2003»
14 years 3 months ago
RTOS Modeling for System Level Design
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models are used in system level design for early design ...
Andreas Gerstlauer, Haobo Yu, Daniel Gajski