A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling Fulltext Access 18 Pages 2005
A Compiler for Mapping a Rule-Based Event-Triggered Program to a Hardware Engine Fulltext Access 18 Pages 2005
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes Fulltext Access 18 Pages 2005
A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine Fulltext Access 18 Pages 2005
Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks Fulltext Access 18 Pages 2005
Combining the Box Structure Development Method and CSP for Software Development Fulltext Access 18 Pages 2005
Distributed Event Graphs: Formalizing Component-based Modelling and Simulation Fulltext Access 18 Pages 2005
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols Fulltext Access 18 Pages 2005
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique Fulltext Access 18 Pages 2005
Bounded Model Checking with SNF, Alternating Automata, and Büchi Automata Fulltext Access 19 Pages 2005
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language Fulltext Access 19 Pages 2005
On the descriptional complexity of finite automata with modified acceptance conditions Fulltext Access 19 Pages 2005
Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets Fulltext Access 19 Pages 2005
Evolution Scenarios for Rule-Based Implementations of Language-Based Functionality Fulltext Access 19 Pages 2005
Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers Fulltext Access 19 Pages 2005
Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL Fulltext Access 19 Pages 2005
Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance Fulltext Access 19 Pages 2005
Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic Fulltext Access 19 Pages 2005
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude Fulltext Access 19 Pages 2005
Configurations induced by discrete rotations: periodicity and quasi-periodicity properties Fulltext Access 19 Pages 2005
Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes Fulltext Access 19 Pages 2005
Performance evaluation of demodulation with diversity-a combinatorial approach II: bijective methods Fulltext Access 19 Pages 2005
Conversion of coloring algorithms into maximum weight independent set algorithms Fulltext Access 19 Pages 2005
The first order definability of graphs with separators via the Ehrenfeucht game Fulltext Access 19 Pages 2005
Modular Architectural Representation and Analysis of Fault Propagation and Transformation Fulltext Access 19 Pages 2005
The complexity of equivalence and isomorphism of systems of equations over finite groups Fulltext Access 19 Pages 2005
Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions Fulltext Access 19 Pages 2005
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems Fulltext Access 19 Pages 2005