Sciweavers

2050 search results - page 275 / 410
» A formal foundation for process modeling
Sort
View
ESEC
1999
Springer
15 years 11 months ago
The CIP Method: Component- and Model-Based Construction of Embedded Systems
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
Hugo Fierz
ICDE
2010
IEEE
290views Database» more  ICDE 2010»
15 years 11 months ago
The Model-Summary Problem and a Solution for Trees
Modern science is collecting massive amounts of data from sensors, instruments, and through computer simulation. It is widely believed that analysis of this data will hold the key ...
Biswanath Panda, Mirek Riedewald, Daniel Fink
JIISIC
2007
15 years 8 months ago
A Minimal OCL-based Profile for Model Transformation
The MDD (Model Driven Development) initiative covers a broad spectrum of research areas such as modeling languages, definition of transformation languages among models, and constr...
Roxana S. Giandini, Gabriela Pérez, Claudia...
ENTCS
2008
122views more  ENTCS 2008»
15 years 6 months ago
Concurrency in Biological Modeling: Behavior, Execution and Visualization
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
David Harel, Yaki Setty, Sol Efroni, Naamah Swerdl...
INFSOF
2008
112views more  INFSOF 2008»
15 years 6 months ago
A catalog of architectural primitives for modeling architectural patterns
Architectural patterns are a fundamental aspect of the architecting process and subsequently the architectural documentation. Unfortunately, there is only poor support for modelin...
Uwe Zdun, Paris Avgeriou