1812 search results - page 73 / 363 » Dynamic Updating of Software Systems Based on Aspects |
139
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
139
click to vote
ENGL
2007
15 years 4 months ago
2007
— This paper presents a new intelligent agent supervisory loop based approach for dynamic system control. The scheme consists of three software agents that work in an autonomous ...
127
click to vote
SIGMOD
1999
ACM
15 years 9 months ago
1999
ACM
Pre-computation and materialization of views with aggregate functions is a common technique in Data Warehouses. Due to the complex structure of the warehouse and the different pro...
155
click to vote
MOBILITY
2009
ACM
15 years 9 months ago
2009
ACM
Many adaptative context-aware middleware exist and mostly rely on so-called vertical architectures that offer a functional decomposition for context-awareness. This architecture ...
151
Voted
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we propose an architecture for adaptive real-time workflow-based collaborative system. Such a system is needed to support real-time communication and sharing of inf...