7080 search results - page 1187 / 1416 » Designing High Integrity Systems Using Aspects |
199
click to vote
PLDI
2006
ACM
16 years 1 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 ...
216
click to vote
TC
2011
15 years 2 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 ...
269
click to vote
ACSAC
2005
IEEE
16 years 24 days 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...
229
click to vote
BMCBI
2002
15 years 7 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...
352
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. ...