Sciweavers

Share
ENTCS
2006
155views more  ENTCS 2006»
9 years 9 months ago
Biomolecular Agents as Multi-behavioural Concurrent Objects
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
Denys Duchier, Céline Kuttler
ENTCS
2006
120views more  ENTCS 2006»
9 years 9 months ago
SCHOOL: a Small Chorded Object-Oriented Language
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
Sophia Drossopoulou, Alexis Petrounias, Alex Buckl...
ENTCS
2006
127views more  ENTCS 2006»
9 years 9 months ago
A System Architecture for Context-Aware Service Discovery
Recent technological advances have enabled both the consumption and provision of mobile services (m-services) by small, portable, handheld devices. However, mobile devices still h...
Christos Doulkeridis, Nikos Loutas, Michalis Vazir...
ENTCS
2006
104views more  ENTCS 2006»
9 years 9 months ago
A Verification Approach for GALS Integration of Synchronous Components
Frederic Doucet, Massimiliano Menarini, Ingolf H. ...
ENTCS
2006
151views more  ENTCS 2006»
9 years 9 months ago
Extending C for Checking Shape Safety
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
Mike Dodds, Detlef Plump
ENTCS
2006
138views more  ENTCS 2006»
9 years 9 months ago
Model Checking Russian Cards
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...
Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van...
ENTCS
2006
98views more  ENTCS 2006»
9 years 9 months ago
A Petri Net Semantics of a Simple Process Algebra for Mobility
Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
ENTCS
2006
117views more  ENTCS 2006»
9 years 9 months ago
Distributed Graph Traversals by Relabelling Systems with Applications
Graph traversals are in the basis of many distributed algorithms. In this paper, we use graph relabelling systems to encode two basic graph traversals which are the broadcast and ...
Bilel Derbel, Mohamed Mosbah
ENTCS
2006
143views more  ENTCS 2006»
9 years 9 months ago
Hiproofs: A Hierarchical Notion of Proof Tree
Motivated by the concerns of theorem-proving, we generalise the notion of proof tree to that of hierarchical proof tree. Hierarchical trees extend ordinary trees by adding partial...
Ewen Denney, John Power, Konstantinos Tourlas
ENTCS
2006
99views more  ENTCS 2006»
9 years 9 months ago
Metrics for Action-labelled Quantitative Transition Systems
This paper defines action-labelled quantitative transition systems as a general framework for combining qualitative and quantitative analysis. We define state-metrics as a natural...
Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun...
books