4511 search results - page 554 / 903 » Observation Based System Security |
259
click to vote
CVPR
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper describes a system which uses multiple visual processes to detect and track faces for video compression and transmission. The system is based on an architecture in whic...
131
click to vote
JIIS
2008
15 years 4 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
125
click to vote
WIMOB
2008
IEEE
15 years 11 months ago
2008
IEEE
—Wireless networking is currently dominated by radio frequency (RF) techniques. However, the soon-to-be ubiquity of LED-based lighting motivated by significant energy savings pro...
171
click to vote
ISPASS
2007
IEEE
15 years 11 months ago
2007
IEEE
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
124
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...