3663 search results - page 698 / 733 » Problems in the ontology of computer programs |
155
click to vote
CCS
2009
ACM
16 years 24 days ago
2009
ACM
Binary attestation, as proposed by the Trusted Computing Group (TCG), is a pragmatic approach for software integrity protection and verification. However, it has also various sho...
159
click to vote
DATE
2009
IEEE
16 years 23 days ago
2009
IEEE
Abstract—Reliable and verifiable hardware, software and content usage metering (HSCM) are of primary importance for wide segments of e-commerce including intellectual property a...
180
click to vote
ATAL
2007
Springer
16 years 6 days ago
2007
Springer
Decentralized MDPs provide powerful models of interactions in multi-agent environments, but are often very difficult or even computationally infeasible to solve optimally. Here we...
178
click to vote
FPGA
2007
ACM
16 years 5 days ago
2007
ACM
Shrinking time-to-market and high demand for productivity has driven traditional hardware designers to use design methodologies that start from high-level languages. However, meet...
181
click to vote
LCN
2006
IEEE
16 years 1 days ago
2006
IEEE
To support reliable multicast routing in wireless mesh networks, it is important to protect multicast sessions against link or node failures. The issue of protecting multicast ses...