Sciweavers

2522 search results - page 181 / 505
» Tokenized Interaction Architecture
Sort
View
ACSAC
1996
IEEE
14 years 8 days ago
Formal Techniques for an ITSEC-E4 Secure Gateway
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
Pierre Bieber
ER
2006
Springer
102views Database» more  ER 2006»
13 years 11 months ago
Notes for the Conceptual Design of Interfaces
This paper presents a design method for user interfaces based on some ideas from conversation analysis. The method uses interaction diagram and it is conceived to design all flow ...
Simone Santini
AINA
2006
IEEE
13 years 10 months ago
HoNeY: a MHP-based Platform for HOme NEtwork interoperability
Home networks enable, potentially, an increased level of integration among appliances present in the house, enabling an ubiquitous control of devices and simplifying man/machine i...
Fabio Forno, Giovanni Malnati, Giuseppe Portelli
IFIP12
2008
13 years 9 months ago
Learning Life Cycle in Autonomous Intelligent Systems
Autonomous Intelligent Systems (AIS) integrate planning, learning, and execution in a closed loop, showing an autonomous intelligent behavior. A Learning Life Cycle (LLC) Operators...
Jorge Salvador Ierache, Ramón García...
ATAL
2010
Springer
13 years 3 months ago
Directing value: driven artificial characters
In this paper we introduce the notion of character's values to mediate between agents and story direction in storytelling systems. By relating characters' goals with the...
Rossana Damiano, Vincenzo Lombardo