Sciweavers

    GI
    2009
    Springer
    148views Theoretical Computer Science» more  GI 2009»
    A Game-Theoretic Model for Distributed Programming by Contract
    14 years 2 months ago
    A Game-Theoretic Model for Distributed Programming by Contract
    Download  3gerp.iwvi.uni-koblenz.de
    : We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
    Anders Starcke Henriksen, Tom Hvitved, Andrzej Fil...
    claim paper
    Read More »
    GI
    2009
    Springer
    205views Theoretical Computer Science» more  GI 2009»
    Funktionale Gestaltungsoptionen von Online-Bewertungssystemen
    14 years 2 months ago
    Funktionale Gestaltungsoptionen von Online-Bewertungssystemen
    Download  udoo.uni-muenster.de
    : Bewertungen sind ein einflussreiches Medium, um Vertrauen zwischen Anspruchsgruppen zu schaffen. Dies gilt nicht nur für die physische, sondern auch für die virtuelle Welt. Sei...
    Jörg Becker, Sebastian Herwig, Jens Pöpp...
    claim paper
    Read More »
    GI
    2009
    Springer
    92views Theoretical Computer Science» more  GI 2009»
    Supervised, hysteresis-based segmentation of retinal images using the linear-classifier percentile
    14 years 2 months ago
    Supervised, hysteresis-based segmentation of retinal images using the linear-classifier percentile
    Download  www.isip.uni-luebeck.de
    Alexandru Condurache, Alfred Mertins, Til Aach
    claim paper
    Read More »
    GI
    2009
    Springer
    132views Theoretical Computer Science» more  GI 2009»
    Detecting Real User Tasks by Training on Laboratory Contextual Attention Metadata
    14 years 2 months ago
    Detecting Real User Tasks by Training on Laboratory Contextual Attention Metadata
    Download  www.know-center.tugraz.at
    Abstract: Detecting the current task of a user is essential for providing her with contextualized and personalized support, and using Contextual Attention Metadata (CAM) can help d...
    Andreas S. Rath, Didier Devaurs, Stefanie N. Linds...
    claim paper
    Read More »
    GI
    2009
    Springer
    134views Theoretical Computer Science» more  GI 2009»
    Herausforderungen bei der Anpassung von Open Source Software an neue Einsatzbereiche
    14 years 2 months ago
    Herausforderungen bei der Anpassung von Open Source Software an neue Einsatzbereiche
    Download  www-is.informatik.uni-oldenburg.de
    : Spezielle Anforderungen an Software führen häufig zu aufwändigen, lang andauernden und damit teuren Neuentwicklungen. Funktionsfähige Prototypen entstehen i.d.R. erst im Lauf...
    Markus Schmees, Dietrich Boles
    claim paper
    Read More »
    GI
    2009
    Springer
    167views Theoretical Computer Science» more  GI 2009»
    Constraint Checking for Business Process Management
    14 years 2 months ago
    Constraint Checking for Business Process Management
    Download  www.inf.uos.de
    : Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management, we propose a...
    Wolfgang Runte, Marwane El Kharbili
    claim paper
    Read More »
    GI
    2009
    Springer
    100views Theoretical Computer Science» more  GI 2009»
    Using Mobile Phones for Monitoring Physical Conditions
    14 years 2 months ago
    Using Mobile Phones for Monitoring Physical Conditions
    Download  www.hcilab.org
    : Today, mobile phones are becoming an essential device in our daily life, and carried comfortably and regularly by a huge percentage of population. In this note, we propose an app...
    Hamed Ketabdar
    claim paper
    Read More »
    GI
    2009
    Springer
    186views Theoretical Computer Science» more  GI 2009»
    Barcode Application Innovation for Smartphones
    14 years 2 months ago
    Barcode Application Innovation for Smartphones
    Download  www.hcilab.org
    : Modern smartphones provide a high sophisticated camera and a high resolution display. Therefore, they can be used to enable various application scenarios for 1D and 2D barcode re...
    Gerald Eichler, Karl-Heinz Lüke, Aykan Aydin,...
    claim paper
    Read More »
    GI
    2009
    Springer
    140views Theoretical Computer Science» more  GI 2009»
    Tapir: Language Support to Reduce the State Space in Model-Checking
    14 years 2 months ago
    Tapir: Language Support to Reduce the State Space in Model-Checking
    Download  www2.informatik.uni-erlangen.de
    : Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
    Ronald Veldema, Michael Philippsen
    claim paper
    Read More »
    GI
    2009
    Springer
    117views Theoretical Computer Science» more  GI 2009»
    IT-Governance bei Wiederverwendung von Services
    14 years 2 months ago
    IT-Governance bei Wiederverwendung von Services
    Download  www.iwi.unibe.ch
    Gabriela Loosli, David Heim, Gerhard Knolmayer
    claim paper
    Read More »
    « first‹ previous…8910111213141516
    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.