Sciweavers

289 search results - page 19 / 58
» Automating Object-Oriented Software Development Methods
Sort
View
IJON
2006
112views more  IJON 2006»
13 years 8 months ago
Comparison of automated parameter estimation methods for neuronal signaling networks
This work is a suitability study of the different optimization methods for automated parameter estimation (fitting) in the context of neuronal signaling networks. The Gepasi simul...
Antti Pettinen, Olli Yli-Harja, Marja-Leena Linne
CAV
2009
Springer
150views Hardware» more  CAV 2009»
14 years 9 months ago
Automated Analysis of Java Methods for Confidentiality
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
Pavol Cerný, Rajeev Alur
IADIS
2003
13 years 10 months ago
Paradigm Shifts and Business Processes: A Case Study
The vast majority of IT systems are implemented using a traditional procedural paradigm approach using a suitable procedural language such as COBOL. However, with recent developme...
Paul Maclear, Paul Darbyshire
ICSEA
2008
IEEE
14 years 3 months ago
Analyzing Software Evolvability of an Industrial Automation Control System: A Case Study
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
Hongyu Pei Breivold, Ivica Crnkovic, Rikard Land, ...
BMCBI
2006
123views more  BMCBI 2006»
13 years 8 months ago
An Automated Method for Rapid Identification of Putative Gene Family Members in Plants
Background: Gene duplication events have played a significant role in genome evolution, particularly in plants. Exhaustive searches for all members of a known gene family as well ...
Ronald L. Frank, Ajay Mane, Fikret Erçal