Sciweavers

253 search results - page 41 / 51
» How to Transform an Analyzer into a Verifier
Sort
View
GPCE
2005
Springer
15 years 6 months ago
Object-Oriented Reengineering Patterns - An Overview
Successful software systems must be prepared to evolve or they will die. Although object-oriented software systems are built to last, over time they degrade as much as any legacy s...
Oscar Nierstrasz, Stéphane Ducasse, Serge D...
84
Voted
DAGM
2003
Springer
15 years 5 months ago
Optimal Scale Selection for Circular Edge Extraction
This paper addresses the issue of optimal scale selection for circular edge extraction in the context of higher dimensional multiscale edge extraction. Based on a classification o...
Ji-Young Lim, H. Siegfried Stiehl
KDD
2009
ACM
179views Data Mining» more  KDD 2009»
15 years 5 months ago
A viewpoint-based approach for interaction graph analysis
Recent innovations have resulted in a plethora of social applications on the Web, such as blogs, social networks, and community photo and video sharing applications. Such applicat...
Sitaram Asur, Srinivasan Parthasarathy
109
Voted
BIRTHDAY
2007
Springer
15 years 4 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
117
Voted
DAWAK
2006
Springer
15 years 2 months ago
Towards Multidimensional Requirement Design
Abstract. Data warehouses (DW) main objective is to facilitating decisionmaking. Thus their development has to take into account DW project actor requirements. While much recent re...
Estella Annoni, Franck Ravat, Olivier Teste, Gille...