Sciweavers

1121 search results - page 45 / 225
» Model and Formalism Driven Development of Collaborative Appl...
Sort
View
125
Voted
WSC
1997
15 years 5 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 10 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...
153
Voted
BMCBI
2010
178views more  BMCBI 2010»
15 years 3 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
118
Voted
IESA
2007
15 years 5 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
143
Voted
IEAAIE
2004
Springer
15 years 9 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...