Sciweavers

21993 search results - page 207 / 4399
» Evolution of Data Models
Sort
View
POS
1994
Springer
15 years 7 months ago
Changing Persistent Applications
During the lifetime of an application, the objects and bindings in a persistent store may require modification in order to fix bugs or incorporate changes. Two mechanisms, Octopus...
Alex Farkas, Alan Dearle
138
Voted
SAC
2008
ACM
15 years 3 months ago
Model-driven development of component-based adaptive distributed applications
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
An Phung-Khac, Antoine Beugnard, Jean-Marie Gillio...
143
Voted
CHARME
2005
Springer
130views Hardware» more  CHARME 2005»
15 years 9 months ago
Improvements to the Implementation of Interpolant-Based Model Checking
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
João P. Marques Silva
115
Voted
GCC
2005
Springer
15 years 9 months ago
Dynamic Models of Knowledge in Virtual Organizations
The dynamics of knowledge is important for virtual organizations (VOs) knowledge management (KM) to improve the fast response capabilities and flexible problem solving capabilities...
Yan Ren, Xueshan Luo
ISBI
2008
IEEE
16 years 4 months ago
Monitoring slowly evolving tumors
Change detection is a critical task in the diagnosis of many slowly evolving pathologies. This paper describes an approach that semi-automatically performs this task using longitu...
Ender Konukoglu, William M. Wells III, Séba...