6650 search results - page 124 / 1330 » models 2009 |
184
click to vote
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Adequate tool support is a crucial factor of success for a software development method or technique. In this paper, we present the MagicUWE tool, that supports systematic design of...
152
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable µ-c...
161
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: The modeling of strategies for deriving valid project plans is a core task in development process’s design. Strategies are used for planning and for the validation of concrete ...
176
click to vote
CAINE
2009
15 years 7 months ago
2009
We have constructed a synthetic in silico model for representing the dynamics of leukocyte rolling, activation, and adhesion on substrate-coated flow chambers. Software components...
167
click to vote
FLAIRS
2009
15 years 4 months ago
2009
This paper presents an approach to creating flexible general-logic representations from language for use in high-level reasoning tasks in cognitive modeling. These representations...