5243 search results - page 993 / 1049 » Reasoning About Strategies |
162
click to vote
ATAL
2007
Springer
16 years 6 days ago
2007
Springer
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...
161
click to vote
ATVA
2007
Springer
16 years 6 days ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
177
click to vote
CCS
2007
ACM
16 years 6 days ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...
159
click to vote
DRM
2007
Springer
16 years 5 days ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
153
click to vote
EMSOFT
2007
Springer
16 years 5 days ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...