Sciweavers

ENTCS
2008
95views more  ENTCS 2008»
14 years 15 days ago
A Rule-based Method to Match Software Patterns Against UML Models
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes barely tractable by t...
Demis Ballis, Andrea Baruzzo, Marco Comini
ENTCS
2008
91views more  ENTCS 2008»
14 years 15 days ago
Towards Concrete Syntax Patterns for Logic-based Transformation Rules
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...
Malte Appeltauer, Günter Kniesel
ENTCS
2008
98views more  ENTCS 2008»
14 years 15 days ago
A Rewriting Calculus for Multigraphs with Ports
In this paper, we define labeled multigraphs with ports, a graph model which specifies connection points for nodes and allows multiple edges and loops. The dynamic evolution of th...
Oana Andrei, Hélène Kirchner
ENTCS
2008
101views more  ENTCS 2008»
14 years 15 days ago
Rewriting Strategies in Java
In any language designed to express transformations, the notion of rewrite rule is a key feature. Its conciseness as well as its strong theoretical foundations are essential. The ...
Emilie Balland, Pierre-Etienne Moreau, Antoine Rei...
ENTCS
2008
127views more  ENTCS 2008»
14 years 15 days ago
HYPE Applied to the Modelling of Hybrid Biological Systems
HYPE is a process algebra developed to model hybrid systems
Vashti Galpin, Jane Hillston, Luca Bortolussi
ENTCS
2008
102views more  ENTCS 2008»
14 years 15 days ago
A Monotonicity Principle for Information Theory
We establish a monotonicity principle for convex functions that enables high-level reasoning about capacity in information theory. Despite its simplicity, this single idea is rema...
Konstantinos Chatzikokolakis, Keye Martin
ENTCS
2008
68views more  ENTCS 2008»
14 years 15 days ago
A Technique for Verifying Measurements
Keye Martin, Prakash Panangaden
ENTCS
2008
116views more  ENTCS 2008»
14 years 15 days ago
Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents
In this paper, we introduce a system, written in Haskell, for filtering information from XML data. Essentially, the system implements a simple declarative language which allows on...
Michele Baggi, Demis Ballis
ENTCS
2008
97views more  ENTCS 2008»
14 years 15 days ago
Global State Considered Helpful
Reynolds' view of a storage cell as an expression-acceptor pair has been widely used by researchers. We present a different way of organizing semantics of state, and in parti...
Paul Blain Levy
ENTCS
2008
99views more  ENTCS 2008»
14 years 15 days ago
A Categorical Model of the Fusion Calculus
We provide a categorical presentation of the Fusion calculus. Working in a suitable category of presheaves, we describe the syntax as initial algebra of a signature endofunctor, a...
Marino Miculan