CT This paper describes experiences from two organizations that have used the Riskit method for risk management in their software projects. This paper presents the Riskit method, t...
: In agile software development refactoring is an important phase for the continuous improvement of software quality. Unfortunately, the application of refactorings is very subject...
This paper describes a modeling, simulation, and evaluation system for planetary simulation, including dynamic 3D-visualization, event capturing, and experiment management. Becaus...
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
— In this paper the authors describe and report an experience related to several applications of the Animate Vision Paradigm to query processing and indexing in multimedia databa...