Sciweavers

1121 search results - page 45 / 225
» Model and Formalism Driven Development of Collaborative Appl...
Sort
View
WSC
1997
15 years 2 months ago
Execution-Driven Simulators for Parallel Systems Design
Evaluating, analyzing and predicting the performance of a parallel system is challenging due to the complex inter-play between the application characteristics and architectural fe...
Anand Sivasubramaniam
FPL
2007
Springer
101views Hardware» more  FPL 2007»
15 years 7 months ago
Formal Modeling of Process Migration
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
Aric D. Blumer, Henning S. Mortveit, Cameron D. Pa...
BMCBI
2010
178views more  BMCBI 2010»
15 years 1 months ago
Applications of a formal approach to decipher discrete genetic networks
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
Fabien Corblin, Eric Fanchon, Laurent Trilling
IESA
2007
15 years 3 months ago
Improving Interoperability in Collaborative Modelling
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...
Stephan Roser, Bernhard Bauer
IEAAIE
2004
Springer
15 years 7 months ago
Natural Language Requirements Analysis and Class Model Generation Using UCDA
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
Dong Liu, Kalaivani Subramaniam, Armin Eberlein, B...