141 search results - page 23 / 29 » A type system for certified binaries |
CSFW
2010
IEEE
13 years 11 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
AADEBUG
2005
Springer
14 years 1 months ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
BMCBI
2010
13 years 7 months ago
2010
Background: A molecular network perspective forms the foundation of systems biology. A common practice in analyzing protein-protein interaction (PPI) networks is to perform networ...
ICESS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The interactive digital multimedia broadcasting stands for a convergence application between digital multimedia broadcasting service and wireless internet service. It dev...
SC
2000
ACM
14 years 4 hour ago
2000
ACM
This is a project for developing a distributed job execution environment for highly iterative jobs. An iterative job is one where the same binary code is run hundreds of times wit...