Number 1-2,
January 2006Number 1-2,
January 2006Number 3, January 2006
Number 4, January 2006
Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation
Dag Björklund and Johan Lilius
Verification and Implementation of Delay-Insensitive Processes
in Restrictive Environments
Hemangee K. Kapoor, Mark B. Josephs and Dennis P.
Furey
Logic Synthesis for Asynchronous Circuits
Based on STG Unfoldings and Incremental SAT
Victor Khomenko, Maciej Koutny and Alex Yakovlev
Towards Integrated Verification of Timed Transition Models
Mark Lawford, Vera Pantelic and Hong Zhang
Guided Model Checking with a Bayesian Meta-heuristic
Kevin Seppi, Michael Jones and Peter Lamborn
Nested Emptiness Search for Generalized Büchi Automata
Heikki Tauriainen
Buffered Asynchronous Communication Mechanisms
Fei Xia, Fei Hao, Ian Clark, Alex Yakovlev, and E. Graeme Chester
Spatial Domain Image Hiding Scheme Using Pixel-Values Differencing
Chin-Chen Chang, Jun-Chou Chuang and Yu-Chen Hu
Perfect Hashing Schemes for Mining Traversal Patterns
Chin-Chen Chang, Chih-Yang Lin and Henry Chou
Petri Net Semantics of the Finite p-calculus Terms
Raymond Devillers, Hanna Klaudel and Maciej Koutny
On the Influence of Confluence in Modal Logics
Olivier Gasquet
An Improved Tree-Structured Codebook Search Algorithm for Grayscale
Image Compression
Yu-Chen Hu and Chin-Chen Chang
Bounds for Validation
Wojciech Jaworski
Counter-Free Keys and Functional Dependencies in Higher-Order Datamodels
Attila Sali and Klaus-Dieter Schewe
Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra
Rudolf Berghammer and Alexander Fronk 3
A Novel Color Image Hiding Scheme Using Block Truncation Coding
Yu-Chen Hu, Min-Hui Lin and Ji-Han Jiang
Di-Algebraic Semantics of Logics
A. Mani
Negative Ordered Hyper-Resolution as a Proof Procedure for
Disjunctive Logic Programming
Linh Anh Nguyen
Indexing Schemes for Similarity Search: an Illustrated Paradigm
Vladimir Pestov and Aleksandar Stojmirovič
Decidability Analysis of Self-Stabilization for Infinite-State Systems
Hsu-Chun Yen and Lien-Po Yu