2662 search results - page 307 / 533 » Objects-early tools: a demonstration |
231
click to vote
LSMS
2007
Springer
16 years 1 months 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...
179
click to vote
MODELS
2007
Springer
16 years 1 months 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...
204
click to vote
PVM
2007
Springer
16 years 1 months 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...
207
click to vote
SAFECOMP
2007
Springer
16 years 1 months 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...
157
click to vote
SCALESPACE
2007
Springer
16 years 1 months 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...