Sciweavers

23704 search results - page 550 / 4741
» Data and Information as Property
Sort
View
CSFW
2005
IEEE
16 years 29 days ago
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
Iliano Cervesato, Catherine Meadows, Dusko Pavlovi...
SIGMOD
2009
ACM
219views Database» more  SIGMOD 2009»
16 years 7 months ago
Hermes: a travel through semantics on the data web
The Web as a global information space is developing from a Web of documents to a Web of data. This development opens new ways for addressing complex information needs. Search is n...
Haofen Wang, Thomas Penin, Kaifeng Xu, Junquan Che...
CORR
2008
Springer
105views Education» more  CORR 2008»
15 years 7 months ago
Integrating OPC Data into GSN Infrastructures
This paper presents the design and the implementation of an interface software component between OLE for Process Control (OPC) formatted data and the Global ...
Olivier Passalacqua, Eric Benoit, Marc-Philippe Hu...
CSCW
2008
ACM
15 years 8 months ago
Imprint, a community visualization of printer data: designing for open-ended engagement on sustainability
We introduce Imprint, a casual information visualization kiosk that displays data extracted from a printer queue. We designed the system to be open-ended, and to support a workgro...
Zachary Pousman, Hafez Rouzati, John T. Stasko
CG
2002
Springer
15 years 7 months ago
Visualizing scalar volumetric data with uncertainty
Increasingly, more importance is placed on the uncertainty information of data being displayed. This paper focuses on techniques for visualizing 3D scalar data sets with correspon...
Suzana Djurcilov, Kwansik Kim, Pierre Lermusiaux, ...