Sciweavers

    ENTCS
    2007
    107views more  ENTCS 2007»
    Modeling Environment for Component Model Checking from Hierarchical Architecture
    14 years 12 days ago
    Modeling Environment for Component Model Checking from Hierarchical Architecture
    Download  d3s.mff.cuni.cz
    Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
    Pavel Parizek, Frantisek Plasil
    claim paper
    Read More »
    ENTCS
    2007
    108views more  ENTCS 2007»
    An Adaptation-based Approach to Incrementally Build Component Systems
    14 years 12 days ago
    An Adaptation-based Approach to Incrementally Build Component Systems
    Download  www.lri.fr
    Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The o...
    Pascal Poizat, Gwen Salaün, Massimo Tivoli
    claim paper
    Read More »
    ENTCS
    2007
    103views more  ENTCS 2007»
    Policy-based Coordination in PAGODA: A Case Study
    14 years 12 days ago
    Policy-based Coordination in PAGODA: A Case Study
    Download  www-formal.stanford.edu
    PAGODA (Policy And GOal Based Distributed Autonomy) is a modular architecture for specifying and prototyping autonomous systems. A PAGODA node (agent) interacts with its environme...
    Carolyn L. Talcott
    claim paper
    Read More »
    ENTCS
    2007
    67views more  ENTCS 2007»
    An Orchestrator for Dynamic Interconnection of Software Components
    14 years 12 days ago
    An Orchestrator for Dynamic Interconnection of Software Components
    Download  lmf.di.uminho.pt
    Composing and orchestrating software components is a fundamental concern in modern software engineering. This paper addresses the possibility of such orchestration being dynamic, ...
    Marco Antonio Barbosa, Luís Soares Barbosa
    claim paper
    Read More »
    ENTCS
    2007
    104views more  ENTCS 2007»
    Implementing a Distributed Mobile Calculus Using the IMC Framework
    14 years 12 days ago
    Implementing a Distributed Mobile Calculus Using the IMC Framework
    Download  rap.dsi.unifi.it
    In the last decade, many calculi for modelling distributed mobile code have been proposed. To assess their merits and encourage use, implementations of the calculi have often been...
    Lorenzo Bettini, Rocco De Nicola, Daniele Falassi,...
    claim paper
    Read More »
    ENTCS
    2007
    100views more  ENTCS 2007»
    JOLIE: a Java Orchestration Language Interpreter Engine
    14 years 12 days ago
    JOLIE: a Java Orchestration Language Interpreter Engine
    Download  www.cs.unibo.it
    Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalit...
    Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, G...
    claim paper
    Read More »
    ENTCS
    2007
    96views more  ENTCS 2007»
    Semantics of Biological Regulatory Networks
    14 years 12 days ago
    Semantics of Biological Regulatory Networks
    Download  www.i3s.unice.fr
    The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by René Thomas to model the interactions between a set of genes. We give a...
    Gilles Bernot, Franck Cassez, Jean-Paul Comet, Fra...
    claim paper
    Read More »
    ENTCS
    2007
    119views more  ENTCS 2007»
    PML: Toward a High-Level Formal Language for Biological Systems
    14 years 12 days ago
    PML: Toward a High-Level Formal Language for Biological Systems
    Download  www.cs.colorado.edu
    Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
    Bor-Yuh Evan Chang, Manu Sridharan
    claim paper
    Read More »
    ENTCS
    2007
    140views more  ENTCS 2007»
    Secured Information Flow for Asynchronous Sequential Processes
    14 years 12 days ago
    Secured Information Flow for Asynchronous Sequential Processes
    Download  hal.archives-ouvertes.fr
    We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
    Isabelle Attali, Denis Caromel, Ludovic Henrio, Fe...
    claim paper
    Read More »
    ENTCS
    2007
    120views more  ENTCS 2007»
    Non-Interference Control Synthesis for Security Timed Automata
    14 years 12 days ago
    Non-Interference Control Synthesis for Security Timed Automata
    Download  www.polymtl.ca
    In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...
    Guillaume Gardey, John Mullins, Olivier H. Roux
    claim paper
    Read More »
    « first‹ previous…5678910111213…next ›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.