Sciweavers

4305 search results - page 439 / 861
» Analysing Protocol Implementations
Sort
View
OOPSLA
2000
Springer
15 years 10 months ago
Finding refactorings via change metrics
Reverse engineering is the process of uncovering the design and the design rationale from a functioning software system. Reverse engineering is an integral part of any successful ...
Serge Demeyer, Stéphane Ducasse, Oscar Nier...
SPIN
2000
Springer
15 years 10 months ago
Using Runtime Analysis to Guide Model Checking of Java Programs
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
Klaus Havelund
DELOS
2007
15 years 8 months ago
Evaluating Preservation Strategies for Electronic Theses and Dissertations
Digital preservation has turned into a pressing challenge for institutions having the obligation to preserve digital objects over years. A range of tools exist today to support th...
Stephan Strodl, Christoph Becker, Robert Neumayer,...
IFIP3
2003
135views Education» more  IFIP3 2003»
15 years 8 months ago
Pedagogical Models in Network-Based Education
One special challenge facing teachers, planners and researchers is the development of pedagogical models, teaching methods and teaching practices that are applicable in network-bas...
Sanna Vahtivuori-Hänninen
INTERACT
2003
15 years 8 months ago
Questioning the Effectiveness of Contextual Online Help: Some Alternative Propositions
: Most online help systems on the market prove unsuited to the actual needs of novice users. Although recent research has focused on the design and implementation of contextual, ad...
Antonio Capobianco