117 search results - page 17 / 24 » Towards preserving correctness in self-managed software syst... |
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
OOPSLA
2005
Springer
14 years 29 days ago
2005
Springer
Over the past decade the sheer size and complexity of traditional operating systems have prompted a wave of new approaches to help alleviate the services provided by these operati...
HYBRID
2010
Springer
13 years 9 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
ECEASST
2010
13 years 4 months ago
2010
: The decision of using existing software components versus building from scratch custom software is one of the most complex and important choices of the entire development/integra...
LCPC
1998
Springer
13 years 11 months ago
1998
Springer
Techniques for aggressive optimization and parallelization of applications can have the side-effect of introducing copy instructions, register-to-register move instructions, into t...