Number 1-2, 2008Number 1-2, 2008
Number
3, 2008
Number
4, 2008
Three-Phase Lossless Data Hiding Method for the VQ Index Table
Chin-Chen Chang, Chih-Yang Lin, Yi-Pei Hsieh
Codebook Partition Based Steganography without Member Restriction
Yung-Kuei Chiang, Piyu Tsai, Feng-Long Huang
Editing Configurations of P Systems
Erzsébet Csuhaj-Varjú, Antonio Di Nola, Gheorghe Paun,
Mario J.Pérez-Jiménez,
György Vaszil
Path Languages of Random Permitting Context Tree Grammars
are Regular
Frank Drewes, Brink van der Merwe
Products of Tree Automata with an Application to Temporal
Logic
Zoltán Ésik, Szabolcs Iván
Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics
Zoltán Ésik, Szabolcs Iván
Image Search using Dominant Colors
Grzegorz Galiński, Władysław Skarbek
Impact of Asynchrony on the Behavior of Rational Selfish Agents
David Ilcinkas, Andrzej Pelc
Invariance Under Stuttering in a Temporal Logic
without the "Until" Operator
Michael Kaminski
On the Controller Synthesis for Finite-State Markov Decision
Processes
Antonín Kucera, Oldrich Strazovský
High-Performance Reversible Data Hiding
Ching-Chiuan Lin, Nien-Lin Hsueh, Wen-Hsiang Shen
Classes of Timed Automata and the Undecidability of Universality
Arnaldo V. Moura, Guilherme A. Pinto
Information in a Two-Stage Decision Process.
General Idea and Classification
Tomasz Terlikowski
Rules and Rule Markup Languages for the Semantic Web - Preface
On the Relationship between Description Logic-based and F-Logic-based
Ontologies
Jos de Bruijn, Stijn Heymans
Embedding Event Algebras and Process Algebras in a Framework
for ECA Rules for the Semantic Web
Erik Behrends, Oliver Fritzen, Wolfgang May, Franz Schenk
Representing Uncertainty in RuleML
Carlos Viegas Damásio, Jeff Z. Pan, Giorgos Stoilos,
Umberto Straccia
Fuzzy Description Logic Programs under the Answer Set Semantics
for the Semantic Web
Thomas Lukasiewicz
Behavior of Composed Concurrent Systems: Logic and Reasoning - Preface i-i
Compositionality for Tightly Coupled Systems:
A New Application of the Propositions-as-Types Interpretation
Mark-Oliver Stehr
Validating Behavioral Component Interfaces in Rewriting
Logic
Einar Broch Johnsen, Olaf
Owe, and Arild B. Torjusen
A Basic Logic for Reasoning about Connector Reconfiguration
Dave Clarke
A Deductive Proof System for Multithreaded Java with
Exceptions
Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen
Interface Automata with Complex Actions:
Limiting Interleaving in Interface Automata
Shahram Esmaeilsabzali, Nancy A. Day, Farhad
Mavaddat