1
Published 2006
Table of Contents: ... Fair Exchange in Byzantine Environments -- A Security Analysis of the Precise Time Protocol (Short...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Algebra (Invited) -- CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... State Graphs Based on Clock Precision Difference -- A Recursive-Adjustment Co-allocation Scheme in Data...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Organizations System -- Application of ADMIRE Data Mining and Integration Technologies in Environmental...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... -- Implicit Surface Reconstruction from Scattered Point Data with Noise -- The Shannon Entropy-Based Node...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... and Abstract Interpretation -- WYSINWYX: What You See Is Not What You eXecute -- Implications of a Data...
View full text
Electronic eBook