3172 search results - page 177 / 635 » On the Random-Self-Reducibility of Complete Sets |
145
click to vote
CIBSE
2009
ACM
16 years 1 months ago
2009
ACM
In the Software Engineering (SE) domain, the Model Driven Engineering (MDE)1 paradigm focuses on using models as main software artifacts to provide a full description of software s...
168
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
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...
164
click to vote
ASWEC
2008
IEEE
16 years 1 months ago
2008
IEEE
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...
140
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
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...
178
click to vote
FGR
2008
IEEE
16 years 29 days ago
2008
IEEE
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...