Sciweavers

    1369 search results - page 193 / 274
    » On the Semantics of Petri Nets
    Sort
    View
    ENTCS
    2008
    97views more  ENTCS 2008»
    An Algorithm for Approximating the Satisfiability Problem of High-level Conditions
    14 years 10 months ago
    An Algorithm for Approximating the Satisfiability Problem of High-level Conditions
    Download  formale-sprachen.informatik.uni-oldenburg.de
    The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...
    Karl-Heinz Pennemann
    claim paper
    Read More »
    CMOT
    2006
    124views more  CMOT 2006»
    My agents love to conform: Norms and emotion in the micro-macro link
    14 years 10 months ago
    My agents love to conform: Norms and emotion in the micro-macro link
    Download  www.affective-sociology.org
    This contribution investigates the function of emotion in relation to norms, both in natural and artificial societies. We illustrate that unintentional behavior can be normative an...
    Christian von Scheve, Daniel Moldt, Julia Fix, Rol...
    claim paper
    Read More »
    DSS
    2006
    95views more  DSS 2006»
    On the computability of agent-based workflows
    14 years 10 months ago
    On the computability of agent-based workflows
    Download  cas.uah.edu
    Workflow research is commonly concerned with optimization, modeling, and dependency. In this research, we however address a more fundamental issue. By modeling humans and machines...
    Wai Yin Mok, Prashant Palvia, David Paper
    claim paper
    Read More »
    IJSEKE
    2008
    103views more  IJSEKE 2008»
    A Modeling Methodology for Conflict Control in Multi-Agent Systems
    14 years 10 months ago
    A Modeling Methodology for Conflict Control in Multi-Agent Systems
    Download  www.cs.uic.edu
    - Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
    Jiexin Lian, Sol M. Shatz
    claim paper
    Read More »
    FUIN
    2007
    120views more  FUIN 2007»
    Concurrent Turing Machines
    14 years 9 months ago
    Concurrent Turing Machines
    Download  www2.informatik.hu-berlin.de
    We define Concurrent Turing Machines (CTMs) as Turing machines with Petri nets as finite control. This leads to machines with arbitrary many tape heads, thus subsuming any class ...
    Berndt Farwer, Manfred Kudlek, Heiko Rölke
    claim paper
    Read More »
    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-2025, USA.