1585 search results - page 62 / 317 » A framework for computer-aided validation |
117
click to vote
ICWS
2009
IEEE
14 years 9 months ago
2009
IEEE
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...
CSMR
2008
IEEE
15 years 6 months ago
2008
IEEE
Aspect-oriented design needs to be systematically assessed with respect to modularity flaws caused by the realization of driving system concerns, such as tangling, scattering, and...
ESCIENCE
2007
IEEE
15 years 6 months ago
2007
IEEE
Future Grid Networks should be able to provide Quality of Service (QoS) guarantees to their users. In this work we propose a framework for Grid Networks that provides deterministi...
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper we propose a SLAM framework which is based on an algorithm that combines an Unscented Particle Filter (UPF) and Unscented Kalman Filters (UKFs). A UPF is used to ...
SRDS
2007
IEEE
15 years 6 months ago
2007
IEEE
Various intrusion tolerant certification authority (CA) systems have been recently proposed to provide attack resistant certificate update/query services. However, it is difficult...