16725 search results - page 2680 / 3345 » Engineering Software Correctness |
199
click to vote
CC
2010
Springer
16 years 2 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
202
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
We present a hardware-based approach to improve the resilience of a computer system against the errors occurred in the main memory with the help of error detecting and correcting ...
183
click to vote
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...
198
click to vote
RAID
2009
Springer
16 years 1 months ago
2009
Springer
Intrusion prevention systems determine whether incoming traffic matches a database of signatures, where each signature in the database represents an attack or a vulnerability. IPSs...
205
click to vote
PETRA
2009
ACM
16 years 1 months ago
2009
ACM
Due to the increasing elderly population, healthcare systems able to promote independent living are regarded as an emerging market. Despite the significant advances aiming to supp...