Sciweavers

    INFSOF
    2002
    69views more  INFSOF 2002»
    Soft-link hypertext for information retrieval
    14 years 4 days ago
    Soft-link hypertext for information retrieval
    Download  www.dcs.kcl.ac.uk
    This paper provides a formal speci
    Mark d'Inverno, Paul Howells, Michael J. Hu, Micha...
    claim paper
    Read More »
    INFSOF
    2002
    85views more  INFSOF 2002»
    A methodology of testing high-level Petri nets
    14 years 4 days ago
    A methodology of testing high-level Petri nets
    Download  cms.brookes.ac.uk
    Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
    Hong Zhu, Xudong He
    claim paper
    Read More »
    INFSOF
    2002
    65views more  INFSOF 2002»
    The documentary structure of source code
    14 years 4 days ago
    The documentary structure of source code
    Download  labs.oracle.com
    Many tools designed to help programmers view and manipulate source code exploit the formal structure of the programming language. Language-based tools use information derived via ...
    Michael L. Van de Vanter
    claim paper
    Read More »
    INFSOF
    2002
    88views more  INFSOF 2002»
    Methodologies and website development: a survey of practice
    14 years 4 days ago
    Methodologies and website development: a survey of practice
    Download  www.sims.monash.edu.au
    Website development work is a growing aspect of the IT activities within many organisations. However, the manner in which website development actually takes place within organisat...
    Mark J. Taylor, J. McWilliam, H. Forsyth, S. Wade
    claim paper
    Read More »
    INFSOF
    2002
    126views more  INFSOF 2002»
    Detection of dynamic execution errors in IBM system automation's rule-based expert system
    14 years 4 days ago
    Detection of dynamic execution errors in IBM system automation's rule-based expert system
    Download  www-sr.informatik.uni-tuebingen.de
    We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...
    Carsten Sinz, Thomas Lumpp, Jürgen M. Schneid...
    claim paper
    Read More »
    INFSOF
    2002
    95views more  INFSOF 2002»
    Semantic and behavioral library transformations
    14 years 4 days ago
    Semantic and behavioral library transformations
    Download  www.osl.iu.edu
    While software methodology encourages the use of libraries and advocates architectures of layered libraries, in practice the composition of libraries is not always seamless and th...
    Sibylle Schupp, Douglas Gregor, David R. Musser, S...
    claim paper
    Read More »
    INFSOF
    2002
    59views more  INFSOF 2002»
    Mutant Query Plans
    14 years 4 days ago
    Mutant Query Plans
    Download  web.cecs.pdx.edu
    Vassilis Papadimos, David Maier
    claim paper
    Read More »
    INFSOF
    2002
    147views more  INFSOF 2002»
    On the efficiency of domain-based COTS product selection method
    14 years 4 days ago
    On the efficiency of domain-based COTS product selection method
    Download  www.idi.ntnu.no
    Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...
    Karl R. P. H. Leung, Hareton K. N. Leung
    claim paper
    Read More »
    INFSOF
    2002
    108views more  INFSOF 2002»
    Architectural styles for distributed processing systems and practical selection method
    14 years 4 days ago
    Architectural styles for distributed processing systems and practical selection method
    Download  se.aist-nara.ac.jp
    The software architecture of a system has influences against various software characteristics of the system such as efficiency, reliability, maintainability, and etc.. For support...
    Yoshitomi Morisawa, Katsuro Inoue, Koji Torii
    claim paper
    Read More »
    INFSOF
    2002
    61views more  INFSOF 2002»
    Management of XML Documents Without Schema in Relational Database Systems
    14 years 4 days ago
    Management of XML Documents Without Schema in Relational Database Systems
    Download  www.imn.htwk-leipzig.de
    Thomas Kudrass
    claim paper
    Read More »
    123next ›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.