4418 search results - page 138 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
148
click to vote
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
Currently the computer systems and software used by the average user offer virtually no security. Because of this many attacks, both simulated and real, have been described by the...
191
click to vote
PDP
2008
IEEE
15 years 11 months ago
2008
IEEE
System-level virtualization has been a research topic since the 70’s but regained popularity during the past few years because of the availability of efficient solution such as...
140
click to vote
COMPUTER
2002
15 years 4 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...
124
click to vote
CVPR
1999
IEEE
16 years 6 months ago
1999
IEEE
A non-metric pan-tilt stereo-head consists of a weakly calibrated stereo rig mounted on a pan-tilt mechanism. It is called non-metric since neither the kinematics of the mechanism...
137
click to vote
ENTCS
2006
15 years 4 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...