Sciweavers

348 search results - page 52 / 70
» Characterizing Software Architecture Changes: An Initial Stu...
Sort
View
ICSE
2001
IEEE-ACM
15 years 4 months ago
Functional Paleontology: System Evolution as the User Sees It
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...
Annie I. Antón, Colin Potts
ISSRE
2006
IEEE
15 years 5 months ago
A State Exploration-Based Approach to Testing Java Monitors
A Java monitor is a Java class that defines one or more synchronized methods. Unlike a regular object, a Java monitor object is intended to be accessed by multiple threads simulta...
Yu Lei, Richard H. Carver, David Chenho Kung, Vidu...
BIS
2009
107views Business» more  BIS 2009»
15 years 24 days ago
Framework for Value Prediction of Knowledge-Based Applications
Knowledge-based applications are characterized by their use of machine-understandable formalizations of expert knowledge. Complex knowledge structures, and the features which explo...
Ali Imtiaz, Tobias Bürger, Igor O. Popov, Ele...
EMSOFT
2010
Springer
14 years 9 months ago
Resource adaptations with servers for hard real-time systems
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...
Nikolay Stoimenov, Lothar Thiele, Luca Santinelli,...
VMCAI
2005
Springer
15 years 5 months ago
On the Complexity of Error Explanation
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
Nirman Kumar, Viraj Kumar, Mahesh Viswanathan