Sciweavers

    69 search results - page 2 / 14
    » ase 2007
    Sort
    View
    ASE
    2007
    70views more  ASE 2007»
    JDiff: A differencing technique and tool for object-oriented programs
    15 years 3 months ago
    JDiff: A differencing technique and tool for object-oriented programs
    Download  pleuma.cc.gatech.edu
    Taweesup Apiwattanapong, Alessandro Orso, Mary Jea...
    claim paper
    Read More »
    106
    Voted
    ASE
    2002
    97views more  ASE 2002»
    The FUSE Platform: Supporting Ubiquitous Collaboration Within Diverse Mobile Environments
    15 years 3 months ago
    The FUSE Platform: Supporting Ubiquitous Collaboration Within Diverse Mobile Environments
    Download  www.cs.nott.ac.uk
    Shahram Izadi, Pedro Coutinho, Tom Rodden, Gareth ...
    claim paper
    Read More »
    97
    Voted
    ASE
    1998
    114views more  ASE 1998»
    Developing Knowledge-Based Systems with MIKE
    15 years 3 months ago
    Developing Knowledge-Based Systems with MIKE
    Download  reference.kfupm.edu.sa
    Jürgen Angele, Dieter Fensel, Dieter Landes, ...
    claim paper
    Read More »
    108
    Voted
    ASE
    1999
    59views more  ASE 1999»
    Overlaps in Requirements Engineering
    15 years 3 months ago
    Overlaps in Requirements Engineering
    Download  www.soi.city.ac.uk
    Although overlap between specifications
    George Spanoudakis, Anthony Finkelstein, David Til...
    claim paper
    Read More »
    136
    Voted
    ASE
    2004
    117views more  ASE 2004»
    Model Checking for Combined Logics with an Application to Mobile Systems
    15 years 3 months ago
    Model Checking for Combined Logics with an Application to Mobile Systems
    Download  staff.science.uva.nl
    In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
    Massimo Franceschet, Angelo Montanari, Maarten de ...
    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.