Sciweavers

6434 search results - page 1028 / 1287
» Model Transformations with Reference Models
Sort
View
ICSE
2007
IEEE-ACM
16 years 3 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
ICSE
2007
IEEE-ACM
16 years 3 months ago
The CRUTIAL Architecture for Critical Information Infrastructures
Abstract. In this chapter we discuss the susceptibility of critical information infrastructures to computer-borne attacks and faults, mainly due to their largely computerized natur...
Paulo Veríssimo, Nuno Ferreira Neves, Migue...
114
Voted
PERCOM
2006
ACM
16 years 3 months ago
A Blueprint for Pervasive Self-Care Infrastructures
Self Care is a recent initiative by the Department of Health in the UK that aims to treat patients with longterm conditions sooner, nearer to home and earlier in the course of the...
George Roussos, Andy Marsh
SDM
2009
SIAM
202views Data Mining» more  SDM 2009»
16 years 1 months ago
Proximity-Based Anomaly Detection Using Sparse Structure Learning.
We consider the task of performing anomaly detection in highly noisy multivariate data. In many applications involving real-valued time-series data, such as physical sensor data a...
Tsuyoshi Idé, Aurelie C. Lozano, Naoki Abe,...
ICCAD
2005
IEEE
122views Hardware» more  ICCAD 2005»
16 years 22 days ago
Intrinsic shortest path length: a new, accurate a priori wirelength estimator
A priori wirelength estimation is concerned with predicting various wirelength characteristics before placement. In this work we propose a novel, accurate estimator of net lengths...
Andrew B. Kahng, Sherief Reda
« Prev « First page 1028 / 1287 Last » Next »