Sciweavers

451 search results - page 44 / 91
» Accomplishing software stability
Sort
View
HCI
2009
13 years 6 months ago
Trust in Online Technology: Towards Practical Guidelines Based on Experimentally Verified Theory
Abstract. A large amount of research attempts to define trust, yet relatively little research attempts to experimentally verify what makes trust needed in interactions with humans ...
Christian Detweiler, Joost Broekens
IUI
2005
ACM
14 years 2 months ago
Dimensions of adaptivity in mobile systems: personality and people's attitudes
In this work, we present a study about adaptation on a mobile museum guide aiming at investigating the relationships between personality traits and the attitudes toward some basic...
Ilenia Graziola, Fabio Pianesi, Massimo Zancanaro,...
LCR
1998
Springer
109views System Software» more  LCR 1998»
14 years 27 days ago
Expressing Irregular Computations in Modern Fortran Dialects
Abstract. Modern dialects of Fortran enjoy wide use and good support on highperformance computers as performance-oriented programming languages. By providing the ability to express...
Jan Prins, Siddhartha Chatterjee, Martin Simons
FOSSACS
2009
Springer
14 years 17 days ago
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...
Morten Kühnrich, Stefan Schwoon, Jirí ...
APCCM
2008
13 years 10 months ago
Model Eco-Systems: Preliminary Work
Modeling is core software engineering practice. Conceptual models are constructed to establish an abstract understanding of the domain among stakeholders. These are then refined i...
Aditya Ghose, George Koliadis