3555 search results - page 225 / 711 » Security-Critical System Development with Extended Use Cases |
147
click to vote
PAMI
2007
15 years 4 months ago
2007
—Recent developments in statistical theory and associated computational techniques have opened new avenues for image modeling as well as for image segmentation techniques. Thus, ...
136
click to vote
ISSTA
2009
ACM
15 years 11 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...
151
click to vote
ISCA
2012
IEEE
13 years 7 months ago
2012
IEEE
Recent improvements in architectural supports for virtualization have extended traditional hardware page walkers to traverse nested page tables. However, current twodimensional (2...
127
Voted
AUTOMATICA
2006
15 years 5 months ago
2006
The challenging problem in linear control theory is to describe the total set of parameters (controller coefficients or plant characteristics) which provide stability of a system....
168
Voted
TSP
2010
14 years 11 months ago
2010
Abstract--This paper proposes a training-based channel estimation scheme for achieving quality-of-service discrimination between legitimate and unauthorized receivers in wireless m...