Search
Now showing items 1-10 of 76
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 ...
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 ...
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 ...
Extended semantics and optimization algorithms for CP-networks
(2004)
Preference elicitation is a serious bottleneck in many decision support applications and agent specification tasks. Ceteris paribus (CP)-nets were designed to make the process of preference elicitation simpler and more ...
Efficient bufferless packet switching on trees and leveled networks
(2007)
In bufferless networks the packets cannot be buffered while they are in transit