5084 search results - page 862 / 1017 » Proving Possibility Properties |
158
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
Modern operating systems primarily use Discretionary Access Control (DAC) to protect files and other operating system resources. DAC mechanisms are more user-friendly than Mandat...
139
click to vote
CW
2008
IEEE
15 years 11 months ago
2008
IEEE
Traveling through immersive virtual environments (IVEs) by means of real walking is an important activity to increase naturalness of VR-based interaction. However, the size of the...
125
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
— As the feature size of transistors gets smaller, fabricating them becomes challenging. Manufacturing process follows various corrective design-for-manufacturing (DFM) steps to ...
132
click to vote
ISCC
2008
IEEE
15 years 11 months ago
2008
IEEE
Wireless IEEE 802.11 networks are typically deployed as a convenient and flexible way to access wired backbones. However, due to the inherently shared nature and physical propert...
149
Voted
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Signature-based tools such as network intrusion detection systems are widely used to protect critical systems. Automatic signature generation techniques are needed to enable these...