3008 search results - page 86 / 602 » Mechanisms for Importing Modules |
121
click to vote
CCS
2009
ACM
15 years 11 months 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...
149
click to vote
CAV
1998
Springer
15 years 8 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
120
click to vote
CAE
2010
14 years 11 months ago
2010
We propose a simple and interactive technique for volume illustration by using the difference between the original intensity values and a low-pass filtered copy. This difference, ...
146
click to vote
SIGCSE
2010
ACM
15 years 9 months ago
2010
ACM
Despite the proven success of using computer video games as a context for teaching introductory programming (CS1/2) courses, barriers including the lack of adoptable materials, re...
256
click to vote
TASE
2012
IEEE
13 years 11 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...