Sciweavers

Share
ENTCS
2006
137views more  ENTCS 2006»
8 years 10 months ago
Coinductive Field of Exact Real Numbers and General Corecursion
In this article we present a method to define algebraic structure (field operations) on a representation of real numbers by coinductive streams. The field operations will be given...
Milad Niqui
ENTCS
2006
130views more  ENTCS 2006»
8 years 10 months ago
Modularity in Coalgebra
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisati...
Corina Cîrstea
ENTCS
2006
124views more  ENTCS 2006»
8 years 10 months ago
Generic Trace Theory
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
ENTCS
2006
118views more  ENTCS 2006»
8 years 10 months ago
The Language Evolver Lever - Tool Demonstration -
Since many domains are constantly evolving, the associated domain specific languages (DSL) inevitably have to evolve too, to retain their value. But the evolution of a DSL can be ...
Elmar Jürgens, Markus Pizka
ENTCS
2006
89views more  ENTCS 2006»
8 years 10 months ago
Towards a Quantitative Analysis of Security Protocols
Pedro Adão, Paulo Mateus, Tiago Reis, Luca ...
ENTCS
2006
114views more  ENTCS 2006»
8 years 10 months ago
Synthesis of Mealy Machines Using Derivatives
In Rutten [13] the theoretical basis was given for the synthesis of binary Mealy machines from specifications in 2-adic arithmetic. This construction is based on the symbolic comp...
Helle Hvid Hansen, David Costa, Jan J. M. M. Rutte...
ENTCS
2006
90views more  ENTCS 2006»
8 years 10 months ago
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. ...
ENTCS
2006
131views more  ENTCS 2006»
8 years 10 months ago
A Coalgebraic Representation of Reduction by Cone of Influence
Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki
ENTCS
2006
107views more  ENTCS 2006»
8 years 10 months ago
Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting
This paper presents a novel profiling approach, which is entirely based on program transformation techniques in order to enable exact profiling, preserving complete call stacks, m...
Walter Binder, Jarle Hulaas
ENTCS
2006
139views more  ENTCS 2006»
8 years 10 months ago
AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars
The use of object-oriented techniques and concepts, like encapsulation and inheritance, greatly improves language specifications towards better modularity, reusability and extensi...
Damijan Rebernak, Marjan Mernik, Pedro Rangel Henr...
books