Sciweavers

4810 search results - page 805 / 962
» Modeling Value Speculation
Sort
View
SP
1998
IEEE
116views Security Privacy» more  SP 1998»
15 years 10 months ago
Strand Spaces: Why is a Security Protocol Correct?
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Gu...
HT
1998
ACM
15 years 10 months ago
From Latent Semantics to Spatial Hypertext - An Integrated Approach
In this paper, we introduce an integrated approach to the development of spatial hypertext. This approach brings together several theories and techniques concerning semantic struc...
Chaomei Chen, Mary Czerwinski
EP
1998
Springer
15 years 10 months ago
Dynamic Link Inclusion in Online PDF Journals
Two complementary de facto standards for the publication of electronic documents are HTML on the World Wide Web and Adobe's PDF (Portable Document Format) language for use wi...
Steve G. Probets, David F. Brailsford, Les Carr, W...
IWPC
1997
IEEE
15 years 10 months ago
Identifying objects in legacy systems
Many organisations are migrating towards object-oriented technology. However, owing to the business value of legacy software, new object-oriented development has to be weighed aga...
Aniello Cimitile, Andrea De Lucia, Giuseppe A. Di ...
ACMDIS
1997
ACM
15 years 10 months ago
HCI, Natural Science and Design: A Framework for Triangulation Across Disciplines
Human-computer interaction is multidisciplinary, drawing paradigms and techniques from both the natural sciences and the design disciplines. HCI cannot be considered a pure natura...
Wendy E. Mackay, Anne-Laure Fayard