1
Published 2005
Table of Contents: ... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Vulnerability to Doubling Attacks -- Side Channel Analysis of Some Hash Based MACs: A Response to SHA-3...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Computing -- A Method for Safekeeping Cryptographic Keys from Memory Disclosure Attacks -- Attestation...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...
View full text
Electronic eBook