Sciweavers

Share
ENTCS
2006
120views more  ENTCS 2006»
9 years 9 months ago
Flexible Communication of Agents based on FIPA-ACL
Communication in multi-agent systems is an important subject of the current research. In this paper, the syntax and semantics of a multi-agent programming language, called ECCS, a...
M. Jamshid Bagherzadeh, S. Arun-Kumar
ENTCS
2006
122views more  ENTCS 2006»
9 years 9 months ago
Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
Damián Barsotti, Leonor Prensa Nieto, Alwen...
ENTCS
2006
145views more  ENTCS 2006»
9 years 9 months ago
Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
Michael Backes
ENTCS
2006
99views more  ENTCS 2006»
9 years 9 months ago
Termination Criteria for Bounded Model Checking: Extensions and Comparison
Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist ...
Mohammad Awedh, Fabio Somenzi
ENTCS
2006
105views more  ENTCS 2006»
9 years 9 months ago
Feasible Reactivity for Synchronous Cooperative Threads
We are concerned with programs composed of cooperative threads whose execution proceeds in synchronous rounds called instants. We develop static analysis methods to guarantee that...
Roberto M. Amadio, Frédéric Dabrowsk...
ENTCS
2006
112views more  ENTCS 2006»
9 years 9 months ago
Model Checking Linear Programs with Arrays
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
Alessandro Armando, Massimo Benerecetti, Jacopo Ma...
ENTCS
2006
101views more  ENTCS 2006»
9 years 9 months ago
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language
We describe our efforts to use rule-based programming to produce a model of Jumbo, a run-time program generation (RTPG) system for Java. Jumbo incorporates RTPG following the simp...
Baris Aktemur, Samuel N. Kamin
ENTCS
2006
146views more  ENTCS 2006»
9 years 9 months ago
An Abstract Way to Define Rewriting Logic
act way to define rewriting logic Marc Aiguier a,1 , Diane Bahrami b , Delphine Longuet a a Universit
Marc Aiguier, Diane Bahrami, Delphine Longuet
ENTCS
2006
153views more  ENTCS 2006»
9 years 9 months ago
Multi-Agent System Development Based on Organizations
Organizational models have been recently used in agent theory for modeling coordination in open systems and to ensure social order in multi-agent system applications. In this pape...
Estefania Argente, Vicente Julián, Vicente ...
ENTCS
2006
164views more  ENTCS 2006»
9 years 9 months ago
Adaptive Medical Workflow Management for a Context-Dependent Home Healthcare Assistance Service
The provision of health-care services and home assistance to the elderly and chronic patients is a challenging application scenario for Web Services composition, which support the...
Liliana Ardissono, Antonio Di Leva, Giovanna Petro...
books