2662 search results - page 307 / 533 » Objects-early tools: a demonstration |
208
click to vote
LSMS
2007
Springer
16 years 22 days ago
2007
Springer
Among HIV, immune cell and drug, exhibit interactions that are usually not well understood and as a result, cannot be accurately modeled. In this paper, Modeling by AOC is to under...
153
click to vote
MODELS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
188
click to vote
PVM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The MPI Standard does not make any performance guarantees, but users expect (and like) MPI implementations to deliver good performance. A common-sense expectation of perf...
183
click to vote
SAFECOMP
2007
Springer
16 years 21 days ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
144
click to vote
SCALESPACE
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Based on a new, general formulation of the geometric method of moving frames, invariantization of numerical schemes has been established during the last years as a powerf...