9006 search results - page 1513 / 1802 » Modeling Software |
141
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
156
click to vote
ICS
2011
Tsinghua U.
14 years 8 months ago
2011
Tsinghua U.
Applications must scale well to make efficient use of even medium-scale parallel systems. Because scaling problems are often difficult to diagnose, there is a critical need for sc...
164
Voted
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
114
Voted
GI
2005
Springer
15 years 10 months ago
2005
Springer
: In diesem Artikel wird die Verwendung von Real Options als Modell f¨ur die Entscheidung ¨uber alternative Strategien in der Softwareentwicklung vorgestellt. Der Fokus liegt hie...
243
Voted
ICTAC
2010
Springer
15 years 3 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...