Sciweavers

    SAJ
    2000
    72views more  SAJ 2000»
    Defining and specifying graphs using formal model-based techniques
    14 years 6 days ago
    Defining and specifying graphs using formal model-based techniques
    Download  hufee.meraka.org.za
    Paula Kotzé
    claim paper
    Read More »
    SAJ
    2000
    80views more  SAJ 2000»
    Handling diversity in group Work in the information systems class
    14 years 6 days ago
    Handling diversity in group Work in the information systems class
    Download  www.up.ac.za
    Tertiary institutions in South Africa are faced with dealing with diversity in all its forms in our classrooms. Information Systems, Information Technology and Computer Science st...
    T. Thomas, C. De Villiers
    claim paper
    Read More »
    SAJ
    2000
    101views more  SAJ 2000»
    Algebraic results for structured operational semantics
    14 years 6 days ago
    Algebraic results for structured operational semantics
    Download  www.cs.wits.ac.za
    This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
    Vashti C. Galpin
    claim paper
    Read More »
    SAJ
    2000
    56views more  SAJ 2000»
    A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes
    14 years 6 days ago
    A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes
    Download  www.cs.wits.ac.za
    Vashti Galpin
    claim paper
    Read More »
    SAJ
    2000
    129views more  SAJ 2000»
    Conflict analysis as a means of enforcing static separation of duty requirements in workflow environments
    14 years 6 days ago
    Conflict analysis as a means of enforcing static separation of duty requirements in workflow environments
    Download  www.nmmu.ac.za
    The increasing reliance on information technology to support business processes has emphasised the need for information security mechanisms. This, however, has resulted in an ever...
    Stephen Perelson, Reinhardt A. Botha
    claim paper
    Read More »
    SAJ
    2000
    96views more  SAJ 2000»
    Small group collaboration and presence in a virtual environment
    14 years 6 days ago
    Small group collaboration and presence in a virtual environment
    Download  www.cs.uct.ac.za
    Presence in Collaborative Virtual Environments (CVEs) can be classified into personal presence and co-presence. Personal presence is having a feeling of "being there" in...
    Juan Casanueva, Edwin H. Blake
    claim paper
    Read More »
    SAJ
    2000
    71views more  SAJ 2000»
    Presence as a means for understanding user behaviour in virtual environments
    14 years 6 days ago
    Presence as a means for understanding user behaviour in virtual environments
    Download  www.cs.uct.ac.za
    Presence has become a key concept in characterizing and evaluating Virtual Environments. Our contribution is to show that current measures of Presence, as a metric of users' ...
    Edwin H. Blake, Juan Casanueva, David Nunez
    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.