Sciweavers

2147 search results - page 216 / 430
» Teleological Software Adaptation
Sort
View
IUI
1997
ACM
15 years 8 months ago
Inductive Task Modeling for User Interface Customization
This paper describes ActionStreams, a system for inducing task models from observations of user activity. The model can represent several task structures: hierarchy, variable sequ...
David Maulsby
143
Voted
FSTTCS
2006
Springer
15 years 8 months ago
On Reduction Criteria for Probabilistic Reward Models
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
Marcus Größer, Gethin Norman, Christel ...
ACSAC
2001
IEEE
15 years 8 months ago
Abuse-Case-Based Assurance Arguments
This paper describes an extension to abuse-casebased security requirements analysis that provides a lightweight means of increasing assurance in security relevant software. The ap...
John P. McDermott
AVI
2004
15 years 6 months ago
Interacting with embodied agents in public environments
In this paper, we present the first results of a research aiming at developing an intelligent agent able to interact with users in public spaces through a touch screen or a person...
Addolorata Cavalluzzi, Berardina De Carolis, Sebas...
118
Voted
CSREAESA
2006
15 years 6 months ago
Chip OS: new architecture for next generation embedded system
Nowadays embedded system, hardware/software technology has progressed prosperously. In many field of industrial manufacture and people life, embedded system is indispensable. Rece...
Tianzhou Chen, Yi Lian, Wei Hu