Search
Now showing items 1-10 of 344
A utility-based adaptivity model for mobile applications
(2007)
Mobile environments are characterized by resource fluctuations and limitations, and variations in user preferences. Therefore mobile applications need to be adaptive to retain usability, usefulness and reliability. In our ...
IWIM semantics via fibred automata
(2002)
Coordination programming helps to separate concerns in the programming of the coordination activities in complex applications software. It separates the development, verification, maintenance, and reuse of the coordination ...
Search for chargino-neutralino production in pp̄ collisions at s=1.96TeV
(2007)
We present a search for associated production of the chargino and neutralino supersymmetric particles using up to 1.1fb-1 of integrated luminosity collected by the CDF II experiment at the Tevatron pp̄ collider at s=1.96TeV. ...
Linear behaviour of term graph rewriting programs
(ACM, 1995)
The generalized term graph rewriting computational model is exploited to implement concurrent languages based on Girard's Linear Logic (LL). In particular a fragment of LL is identified which is able to serve as a `process ...
Highly parallel model for object-oriented concurrent constraint programming
(IEEE, 1995)
Two of the currently most promising programming paradigms, namely Object-Oriented Programming and Concurrent Constraint Programming are combined into a single, highly parallel computational model based on Term Graph Rewriting ...
On supporting security and privacy-preserving interaction through adaptive usable security
(2014)
The purpose of this paper is to propose a preliminary framework for supporting usable security on the World Wide Web through adaptivity in user interface designs. In particular we elaborate the concept of "Adaptive Usable ...
Studying the effect of human cognition on user authentication tasks
(2013)
This paper studies the effect of individual differences in human cognition on user performance in authentication tasks. In particular, a text-based password and a recognition-based graphical authentication mechanism were ...
Influence of oxychlorination treatments on the redox and oxygen storage and release properties of thermally aged Pd-Rh/CexZr1-xO 2/Al2O3 model three-way catalysts
(2005)
Model Pd-Rh/Al2O3 three-way catalysts with and without CexZr1-xO2 as oxygen storage component have been compared in their fresh, thermally aged and oxychlorinated treated surface states to determine the potential regenerating ...
The KGP model of agency for Global Computing: Computational model and prototype implementation
(2005)
We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is seen as an agent developed using Computational Logic ...
Crafting the mind of prosocs agents
(2006)
PROSOCS agents are software agents that are built according to the KGP model of agency. KGP is used as a model for the mind of the agent, so that the agent can act autonomously using a collection of logic theories, providing ...