Sciweavers

579 search results - page 100 / 116
» Viewing Term Proximity from a Different Perspective
Sort
View
ESOP
2010
Springer
15 years 7 months ago
Generative Operational Semantics for Relaxed Memory Models
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
Radha Jagadeesan, Corin Pitcher and James Riely
JCDL
2005
ACM
94views Education» more  JCDL 2005»
15 years 3 months ago
xTagger: a new approach to authoring document-centric XML
The process of authoring document-centric XML documents in humanities disciplines is very different from the approach espoused by the standard XML editing software with the data-c...
Ionut Emil Iacob, Alex Dekhtyar
MM
2004
ACM
124views Multimedia» more  MM 2004»
15 years 3 months ago
Towards an integrated multimedia service hosting overlay
With the proliferation of multimedia data sources on the Internet, we envision an increasing demand for value-added and functionrich multimedia services that transport, process, a...
Dongyan Xu, Xuxian Jiang
SP
1998
IEEE
116views Security Privacy» more  SP 1998»
15 years 2 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...
SIGIR
2010
ACM
15 years 1 months ago
Exploring the use of labels to shortcut search trails
Search trails comprising queries and Web page views are created as searchers engage in information-seeking activity online. During known-item search (where the objective may be to...
Ryen W. White, Raman Chandrasekar