5113 search results - page 247 / 1023 » Model-integrated system development: models, architecture, a... |
165
click to vote
JLP
2006
15 years 6 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
195
click to vote
GRID
2007
Springer
16 years 24 days ago
2007
Springer
—Due to the dynamic nature of grid environments, schedule algorithms always need assistance of a long-time-ahead load prediction to make decisions on how to use grid resources ef...
148
click to vote
ACL
1993
15 years 8 months ago
1993
This paper presents a new model of anaphoric processing that utilizes the establishment of coherence relations between clauses in a discourse. We survey data that comprises a curr...
179
click to vote
UML
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
187
click to vote
GRAPHICSINTERFACE
2001
15 years 8 months ago
2001
Physics-based modeling integrates dynamics and geometry. The standard methods to solve the Lagrangian equations use a direct approach in the spatial domain. Though extremely power...