Sciweavers

    112 search results - page 21 / 23
    » Towards a Petri Net Semantics for Membrane Systems
    Sort
    View
    ASE
    2006
    114views more  ASE 2006»
    Explicit modeling of semantics associated with composite states in UML statecharts
    13 years 7 months ago
    Explicit modeling of semantics associated with composite states in UML statecharts
    Download  www.cs.uic.edu
    : UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
    Zhaoxia Hu, Sol M. Shatz
    claim paper
    Read More »
    AGTIVE
    2007
    Springer
    258views Formal Methods» more  AGTIVE 2007»
    Visualization, Simulation and Analysis of Reconfigurable Systems
    13 years 11 months ago
    Visualization, Simulation and Analysis of Reconfigurable Systems
    Download  user.cs.tu-berlin.de
    Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
    Claudia Ermel, Karsten Ehrig
    claim paper
    Read More »
    ACSD
    2003
    IEEE
    151views Hardware» more  ACSD 2003»
    Communicating Transaction Processes
    14 years 25 days ago
    Communicating Transaction Processes
    Download  www.comp.nus.edu.sg
    Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
    Abhik Roychoudhury, P. S. Thiagarajan
    claim paper
    Read More »
    SAC
    2005
    ACM
    203views Applied Computing» more  SAC 2005»
    Automatic learning of text-to-concept mappings exploiting WordNet-like lexical networks
    14 years 1 months ago
    Automatic learning of text-to-concept mappings exploiting WordNet-like lexical networks
    Download  www.cad.polito.it
    A great jump towards the advent of the Semantic Web will take place when a critical mass of web resources is available for use in a semantic way. This goal can be reached by the c...
    Dario Bonino, Fulvio Corno, Federico Pescarmona
    claim paper
    Read More »
    HCI
    2009
    161views Human Computer Interaction» more  HCI 2009»
    High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
    13 years 5 months ago
    High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
    Download  smv.unige.ch
    The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
    Philippe A. Palanque, Jean-François Ladry, ...
    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-2024, USA.