Sciweavers

    ENTCS
    2006
    120views more  ENTCS 2006»
    Flexible Communication of Agents based on FIPA-ACL
    13 years 8 months ago
    Flexible Communication of Agents based on FIPA-ACL
    Download  www.cse.iitd.ernet.in
    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
    claim paper
    Read More »
    ENTCS
    2006
    122views more  ENTCS 2006»
    Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools
    13 years 8 months ago
    Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools
    Download  www.cs.famaf.unc.edu.ar
    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...
    claim paper
    Read More »
    ENTCS
    2006
    145views more  ENTCS 2006»
    Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
    13 years 8 months ago
    Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
    Download  www.infsec.cs.uni-saarland.de
    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
    claim paper
    Read More »
    ENTCS
    2006
    99views more  ENTCS 2006»
    Termination Criteria for Bounded Model Checking: Extensions and Comparison
    13 years 8 months ago
    Termination Criteria for Bounded Model Checking: Extensions and Comparison
    Download  vlsi.colorado.edu
    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
    claim paper
    Read More »
    ENTCS
    2006
    105views more  ENTCS 2006»
    Feasible Reactivity for Synchronous Cooperative Threads
    13 years 8 months ago
    Feasible Reactivity for Synchronous Cooperative Threads
    Download  www.pps.jussieu.fr
    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...
    claim paper
    Read More »
    ENTCS
    2006
    112views more  ENTCS 2006»
    Model Checking Linear Programs with Arrays
    13 years 8 months ago
    Model Checking Linear Programs with Arrays
    Download  www.ai-lab.it
    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...
    claim paper
    Read More »
    ENTCS
    2006
    101views more  ENTCS 2006»
    Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language
    13 years 8 months ago
    Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language
    Download  loome.cs.uiuc.edu
    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
    claim paper
    Read More »
    ENTCS
    2006
    146views more  ENTCS 2006»
    An Abstract Way to Define Rewriting Logic
    13 years 8 months ago
    An Abstract Way to Define Rewriting Logic
    Download  www.lri.fr
    act way to define rewriting logic Marc Aiguier a,1 , Diane Bahrami b , Delphine Longuet a a Universit
    Marc Aiguier, Diane Bahrami, Delphine Longuet
    claim paper
    Read More »
    ENTCS
    2006
    153views more  ENTCS 2006»
    Multi-Agent System Development Based on Organizations
    13 years 8 months ago
    Multi-Agent System Development Based on Organizations
    Download  users.dsic.upv.es
    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 ...
    claim paper
    Read More »
    ENTCS
    2006
    164views more  ENTCS 2006»
    Adaptive Medical Workflow Management for a Context-Dependent Home Healthcare Assistance Service
    13 years 8 months ago
    Adaptive Medical Workflow Management for a Context-Dependent Home Healthcare Assistance Service
    Download  www.di.unito.it
    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...
    claim paper
    Read More »
    « first‹ previous…212223242526272829next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.