Sciweavers

1956 search results - page 93 / 392
» A Critical View of Context
Sort
View
CHI
2003
ACM
15 years 10 months ago
Co-experience: the social user experience
This paper presents a critical view of existing models of user experience. These models view experience as the subjective response in the individual's mind. While designers a...
Katja Battarbee
ISORC
1999
IEEE
15 years 2 months ago
Automated Dependability Analysis of UML Designs
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
Andrea Bondavalli, Ivan Mura, István Majzik
JITECH
2006
70views more  JITECH 2006»
14 years 10 months ago
Using coevolutionary and complexity theories to improve IS alignment: a multi-level approach
The misalignment of information systems (IS) components with the rest of an organization remains a critical and chronic unsolved problem in today's complex and turbulent worl...
Hind Benbya, Bill McKelvey
KER
2006
158views more  KER 2006»
14 years 10 months ago
Formal systems for persuasion dialogue
This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade ...
Henry Prakken
LICS
1991
IEEE
15 years 1 months ago
Logic Programming in a Fragment of Intuitionistic Linear Logic
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
Joshua S. Hodas, Dale Miller