1299 search results - page 157 / 260 » On the Correctness of Operating System Kernels |
179
click to vote
DSONLINE
2008
15 years 6 months ago
2008
Ubiquitous applications are characterised by variations of their execution context. Their correct operation requires some continual adaptations based on the observation of their e...
165
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
Many information systems store their objects in a relational database. If the object schema or the relational schema of an application can change often or in an independent way, it...
174
click to vote
ASPDAC
1999
ACM
15 years 10 months ago
1999
ACM
: This paper presents a genetic algorithm based approach for algebraic optimization of behavioral system specifications. We introduce a chromosomal representation of data-flow gr...
164
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Duplicating the full dynamic capabilities of the human eye-brain combination is a difficult task but an important goal because of the wide application that a system which can acqu...
177
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
This paper introduces a new consistency metric, Network Imprecision (NI), to address a central challenge in largescale monitoring systems: safeguarding correctness despite node an...