Sciweavers

GI
2009
Springer
14 years 1 months ago
A Game-Theoretic Model for Distributed Programming by Contract
: 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...
GI
2009
Springer
14 years 1 months ago
Funktionale Gestaltungsoptionen von Online-Bewertungssystemen
: 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...
GI
2009
Springer
14 years 1 months ago
Detecting Real User Tasks by Training on Laboratory Contextual Attention Metadata
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...
GI
2009
Springer
14 years 1 months ago
Herausforderungen bei der Anpassung von Open Source Software an neue Einsatzbereiche
: 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
GI
2009
Springer
14 years 1 months ago
Constraint Checking for Business Process Management
: 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
GI
2009
Springer
14 years 1 months ago
Using Mobile Phones for Monitoring Physical Conditions
: 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
GI
2009
Springer
14 years 1 months ago
Barcode Application Innovation for Smartphones
: 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,...
GI
2009
Springer
14 years 1 months ago
Tapir: Language Support to Reduce the State Space in Model-Checking
: 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
GI
2009
Springer
14 years 1 months ago
IT-Governance bei Wiederverwendung von Services
Gabriela Loosli, David Heim, Gerhard Knolmayer