675 search results - page 31 / 135 » A Constraint-Driven Executable Model of Dynamic System Recon... |
133
click to vote
ENTCS
2002
15 years 2 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
RAID
2007
Springer
15 years 9 months ago
2007
Springer
Attacks against privileged applications can be detected by analyzing the stream of system calls issued during process execution. In the last few years, several approaches have been...
127
click to vote
TAAS
2010
14 years 9 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
143
click to vote
VLSI
2010
Springer
14 years 9 months ago
2010
Springer
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
119
click to vote
SERVICES
2008
15 years 4 months ago
2008
The problem we deal with in this paper is the dynamic substitution of stateful services that become unavailable during the execution of service orchestrations. Previous research e...