Titlebook: Web Information Systems and Technologies; 8th International Co José Cordeiro,Karl-Heinz Krempels Conference proceedings 2013 Springer-Verla

debble

anguage LMNtal without introducing new domains or languages. We show that the proposed abstraction method combined with symmetry reduction reduces state spaces while preserving the soundness of model checking. We implemented the method on SLIM, an implementation of LMNtal with an LTL model checker,

Permanent

Satoshi Ikeda,Nobuharu Kami,Takashi Yoshikawansformation system. Building on this basic result, we present an algorithm that is able to compute all non-redundant critical pairs for two given interaction schemes. The algorithm is implemented for Henshin, a model transformation environment based on graph transformation concepts.

悲痛

Alexandre Parra Carneiro da Silva,Celso Massaki Hirata387943.jpg

Biomarker

Antonia Bertolino,Guglielmo De Angelis,Andrea Polini387950.jpg

PLUMP

Anecdote

Alexander Smirnov,Tatiana Levashova,Nikolay Shilov,Alexey Kashevnik387968.jpg

廢除

1865-1348 nology; Web Interfaces and Applications; Society, e-Business, and e-Government; Web Intelligence; and Mobile Information Systems..978-3-642-36607-9978-3-642-36608-6Series ISSN 1865-1348 Series E-ISSN 1865-1356

樹木心

委屈

Efficient Parallel Algorithms for XML Filtering with Structural and Value Constraintss support for value-based predicates by embedding three different algorithms for handling value constraints during XML filtering, based on the popularity and the semantic interpretation of the predicate values. Experimental results depict that the proposed system outperforms the previous parallel ap

白楊

Modelling Capabilities as Attribute-Featured Entitiest several levels of abstraction from the most abstract one with just an action verb to the most concrete one that corresponds to the exact need of an end user which is not possible with current capability modelling approaches. We are also able to interlink capabilities for creating a hierarchical st