Sciweavers

1033 search results - page 96 / 207
» The Relative History Heuristic
Sort
View
FSTTCS
2007
Springer
16 years 15 days ago
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
Michael Backes, Markus Dürmuth, Ralf Küs...
ICTAI
2006
IEEE
16 years 11 days ago
Sustained Emerging Spatio-Temporal Co-occurrence Pattern Mining: A Summary of Results
Sustained emerging spatio-temporal co-occurrence patterns (SECOPs) represent subsets of object-types that are increasingly located together in space and time. Discovering SECOPs i...
Mete Celik, Shashi Shekhar, James P. Rogers, James...
OTM
2005
Springer
15 years 12 months ago
Modelling Context Information with ORM
Context-aware applications rely on implicit forms of input, such as sensor-derived data, in order to reduce the need for explicit input from users. They are especially relevant for...
Karen Henricksen, Jadwiga Indulska, Ted McFadden
DEXA
2004
Springer
140views Database» more  DEXA 2004»
15 years 11 months ago
Extracting User Behavior by Web Communities Technology on Global Web Logs
A lot of work has been done on extracting the model of web user behavior. Most of them target server-side logs that cannot track user behavior outside of the server. Recently, a no...
Shingo Otsuka, Masashi Toyoda, Jun Hirai, Masaru K...
TIDSE
2004
Springer
15 years 11 months ago
Hopstory: An Interactive, Location-Based Narrative Distributed in Space and Time
As computing and communications technologies evolve, there is the potential for new forms of digitally orchestrated interactive narratives to emerge. In this process, balanced atte...
Valentina Nisi, Alison Wood, Glorianna Davenport, ...