2878 search results - page 564 / 576 » Analyzing the Uses of a Software Modeling Tool |
121
click to vote
CSFW
2011
IEEE
14 years 1 months ago
2011
IEEE
—Randomization is used in computer security as a tool to introduce unpredictability into the software infrastructure. In this paper, we study the use of randomization to achieve ...
223
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
145
click to vote
EUROSYS
2008
ACM
15 years 10 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
123
click to vote
EUROSYS
2006
ACM
15 years 10 months ago
2006
ACM
Building content-based search tools for feature-rich data has been a challenging problem because feature-rich data such as audio recordings, digital images, and sensor data are in...
121
click to vote
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
We address the problem of instruction selection for Multi-Output Instructions (MOIs), producing more than one result. Such inherently parallel hardware instructions are very commo...