2293 search results - page 327 / 459 » Temporal Logic in Information Systems |
HT
2003
ACM
15 years 3 months ago
2003
ACM
Existing hypertext systems have emphasized either the navigational or spatial expression of relationships between objects. We are exploring the combination of these modes of expre...
IUI
2009
ACM
15 years 2 months ago
2009
ACM
Getting synthetic faces to display natural facial expressions is essential to enhance the interaction between human users and virtual characters. Yet traditional facial control te...
ER
2008
Springer
14 years 12 months ago
2008
Springer
Modern information systems, and web information systems in particular, are faced with frequent database schema changes, which generate the necessity to manage them and preserve the...
HCI
2007
14 years 11 months ago
2007
Abstract. One of the goals of augmented cognition is creation of adaptive human-machine collaboration that continually optimizes performance of the human-machine system. Augmented ...
IJISEC
2011
14 years 1 months ago
2011
Remote attestation is the activity of making a claim about properties of a target by supplying evidence to an appraiser over a network. We identify five central principles to guid...