Sciweavers

9018 search results - page 406 / 1804
» 3D-Brain Model Software
Sort
View
ISSRE
2006
IEEE
16 years 25 days ago
Using Historical In-Process and Product Metrics for Early Estimation of Software Failures
The benefits that a software organization obtains from estimates of product quality are dependent upon how early in the product cycle that these estimates are available. Early est...
Nachiappan Nagappan, Thomas Ball, Brendan Murphy
WETICE
2006
IEEE
16 years 24 days ago
Security Verification Techniques Applied to PatchLink COTS Software
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
David P. Gilliam, John D. Powell, Matt Bishop, Chr...
ISPDC
2005
IEEE
16 years 12 days ago
A Component-based Software Infrastructure for Ubiquitous Computing
Multiplication of mobile devices and generalized use of wireless networks imply changes on the design and execution of distributed software applications targeting ubiquitous compu...
Areski Flissi, Christophe Gransart, Philippe Merle
ISPW
2005
IEEE
16 years 12 days ago
Automatically Analyzing Software Processes: Experience Report
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
Rodion M. Podorozhny, Dewayne E. Perry, Leon J. Os...
CAISE
2005
Springer
16 years 10 days ago
Building a Software Factory for Pervasive Systems Development
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...
Javier Muñoz, Vicente Pelechano