Sciweavers

21993 search results - page 207 / 4399
» Evolution of Data Models
Sort
View
POS
1994
Springer
15 years 10 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
SAC
2008
ACM
15 years 6 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...
CHARME
2005
Springer
130views Hardware» more  CHARME 2005»
16 years 1 days 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
GCC
2005
Springer
16 years 17 hour 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 7 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...