2607 search results - page 154 / 522 » On the Architecture of System Verification Environments |
192
click to vote
HCSE
2010
15 years 5 months ago
2010
Abstract. The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anti...
176
click to vote
CASES
2010
ACM
15 years 4 months ago
2010
ACM
Common generated instruction selections are based on tree pattern matching, but modern and custom architectures feature instructions, which cannot be covered by trees. To overcome...
188
click to vote
NDSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present PAMINA (Privilege Administration and Management INfrAstructure), a privilege management system using authorization certificates. Our system supports distr...
162
click to vote
JPDC
2008
15 years 6 months ago
2008
Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or removing compo...
156
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
1 The browser has become a popular attack vector for implanting code on computer operating systems. Equally critical, important sessions, such as online banking, must be protected ...