Sciweavers

    12981 search results - page 276 / 2597
    » Model Checking (Abstract)
    Sort
    View
    101
    Voted
    SPIN
    1999
    Springer
    108views Theoretical Computer Science» more  SPIN 1999»
    A Framework for Automatic Construction of Abstract Promela Models
    15 years 7 months ago
    A Framework for Automatic Construction of Abstract Promela Models
    Download  spinroot.com
    María-del-Mar Gallardo, Pedro Merino
    claim paper
    Read More »
    91
    Voted
    TIME
    1998
    IEEE
    77views Automated Reasoning» more  TIME 1998»
    Model-Based Visualization of Temporal Abstractions
    15 years 7 months ago
    Model-Based Visualization of Temporal Abstractions
    Download  www.ise.bgu.ac.il
    Yuval Shahar, Cleve Cheng
    claim paper
    Read More »
    108
    Voted
    ECOOPW
    1998
    Springer
    100views Distributed And Parallel Com...» more  ECOOPW 1998»
    A Computational Model for a Distributed Object-Oriented Operating System Based on a Reflective Abstract Machine
    15 years 7 months ago
    A Computational Model for a Distributed Object-Oriented Operating System Based on a Reflective Abstract Machine
    Download  www.di.uniovi.es
    Lourdes Tajes Martínez, Fernando Álv...
    claim paper
    Read More »
    109
    Voted
    ROBOCUP
    1998
    Springer
    81views Robotics» more  ROBOCUP 1998»
    Using an Explicit Teamwork Model and Learning in RoboCup: An Extended Abstract
    15 years 7 months ago
    Using an Explicit Teamwork Model and Learning in RoboCup: An Extended Abstract
    Download  people.ict.usc.edu
    Stacy Marsella, Jafar Adibi, Yaser Al-Onaizan, Ali...
    claim paper
    Read More »
    269
    Voted
    TAGT
    1998
    Springer
    317views Graph Theory» more  TAGT 1998»
    A Fully Abstract Model for Graph-Interpreted Temporal Logic
    15 years 7 months ago
    A Fully Abstract Model for Graph-Interpreted Temporal Logic
    Download  www.cs.uni-paderborn.de
    Fabio Gadducci, Reiko Heckel, Manuel Koch
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.