Sciweavers

4066 search results - page 423 / 814
» Almost Complete Sets
Sort
View
175
Voted
ISSTA
2009
ACM
16 years 1 months ago
A formal analysis of requirements-based testing
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
Charles Pecheur, Franco Raimondi, Guillaume Brat
175
Voted
ASWEC
2008
IEEE
16 years 1 months ago
Experiences on the Belief-Theoretic Integration of Para-consistent Conceptual Models
Viewpoint-based conceptual modeling is concerned with the identification of a complete and coherent set of software models that have been developed with the involvement of variou...
Ebrahim Bagheri, Ali A. Ghorbani
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
16 years 1 months ago
LQG control over lossy TCP-like networks with probabilistic packet acknowledgements
Abstract— This paper is concerned with control applications over lossy data networks. Sensor data is transmitted to an estimation-control unit over a network, and control command...
Emanuele Garone, Bruno Sinopoli, Alessandro Casavo...
192
Voted
FGR
2008
IEEE
168views Biometrics» more  FGR 2008»
16 years 1 months ago
A bottom-up framework for robust facial feature detection
Registration of facial features is a significant step towards a complete solution of the face recognition problem. We have built a general framework for detecting a set of indivi...
Victor Erukhimov, Kuang-chih Lee
187
Voted
HICSS
2008
IEEE
222views Biometrics» more  HICSS 2008»
16 years 1 months ago
A Comprehensive Fuzzy Logic Model for Feature Performance Assessment against Network Attacks
—The feature selection phase is one of the first, and yet very important, tasks to be completed during the development of any Intrusion Detection System. If this phase is neglec...
Iosif-Viorel Onut, Ali A. Ghorbani