7080 search results - page 1187 / 1416 » Designing High Integrity Systems Using Aspects |
145
Voted
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
146
Voted
TC
2011
14 years 10 months ago
2011
—CMOS scaling has long been a source of dramatic performance gains. However, semiconductor feature size reduction has resulted in increasing levels of operating temperatures and ...
166
Voted
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Using hypervisors or virtual machine monitors for security has become very popular in recent years, and a number of proposals have been made for supporting multi-level security on...
148
Voted
BMCBI
2002
15 years 3 months ago
2002
Background: Expressed sequence tags (ESTs) are single pass reads from randomly selected cDNA clones. They provide a highly cost-effective method to access and identify expressed g...
247
click to vote
Publication
The tremendous increase in the use of cellular phones, GPS-like devices, and RFIDs results in highly dynamic environments where objects as well as queries are continuously moving. ...