Sciweavers

1104 search results - page 53 / 221
» A Comparison of State-Based Modelling Tools for Model Valida...
Sort
View
ECBS
2009
IEEE
114views Hardware» more  ECBS 2009»
14 years 20 days ago
Model-Based Product-Oriented Certification
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
Damian Dechev, Bjarne Stroustrup
DATE
2005
IEEE
165views Hardware» more  DATE 2005»
14 years 2 months ago
AutoMoDe - Model-Based Development of Automotive Software
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, ...
ICASSP
2007
IEEE
14 years 3 months ago
Evolutionary Sequence Modeling for Discovery of Peptide Hormones
There are currently a large number of ‘‘orphan’’ G-protein-coupled receptors (GPCRs) whose endogenous ligands (peptide hormones) are unknown. Identification of these pepti...
M. Kemal Sönmez, Lawrence Toll, Nina Zaveri
IS
2012
12 years 4 months ago
On the refactoring of activity labels in business process models
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
Henrik Leopold, Sergey Smirnov 0002, Jan Mendling
CORR
2010
Springer
150views Education» more  CORR 2010»
13 years 9 months ago
Framework for Visualizing Model-Driven Software Evolution and its Application
Software Visualization encompasses the development and evaluation of methods for graphically representing different aspects of methods of software, including its structure, execut...
Akepogu Anand Rao, Karanam Madhavi