Sciweavers

Share
ENTCS
2007
190views more  ENTCS 2007»
8 years 9 months ago
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming
We suggest a formal model to represent and solve the multicast routing problem in multicast networks. To attain this, we model the network adapting it to a weighted and-or graph, ...
Stefano Bistarelli, Ugo Montanari, Francesca Rossi...
ENTCS
2007
150views more  ENTCS 2007»
8 years 9 months ago
On the Expressiveness of Mobile Synchronizing Petri Nets
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
Fernando Rosa Velardo, David de Frutos-Escrig, Olg...
ENTCS
2007
159views more  ENTCS 2007»
8 years 9 months ago
Almost Every Domain is Universal
We endow the collection of ω-bifinite domains with the structure of a probability space, and we will show
Manfred Droste, Dietrich Kuske
ENTCS
2007
89views more  ENTCS 2007»
8 years 10 months ago
Measuring a Java Test Suite Coverage Using JML Specifications
Frédéric Dadeau, Yves Ledru, Lydie d...
ENTCS
2007
123views more  ENTCS 2007»
8 years 10 months ago
Proving Termination of Context-Sensitive Rewriting with MU-TERM
Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem w...
Beatriz Alarcón, Raúl Gutiérr...
ENTCS
2007
126views more  ENTCS 2007»
8 years 10 months ago
Context Dependent Procedures and Computed Types in -eriFun
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
Andreas Schlosser, Christoph Walther, Michael Gond...
ENTCS
2007
145views more  ENTCS 2007»
8 years 10 months ago
Design, Analysis and Performance Evaluation of Group Key Establishment in Wireless Sensor Networks
Wireless sensor networks are comprised of a vast number of ultra-small autonomous computing, communication and sensing devices, with restricted energy and computing capabilities, ...
Ioannis Chatzigiannakis, Elisavet Konstantinou, Va...
ENTCS
2007
139views more  ENTCS 2007»
8 years 10 months ago
A Change-based Approach to Software Evolution
Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developer...
Romain Robbes, Michele Lanza
ENTCS
2007
111views more  ENTCS 2007»
8 years 10 months ago
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
Rocco De Nicola, Michele Loreti
ENTCS
2007
87views more  ENTCS 2007»
8 years 10 months ago
A Congruence Rule Format with Universal Quantification
Mohammad Reza Mousavi, Michel A. Reniers
books