Sciweavers

9329 search results - page 1659 / 1866
» Feature interaction networks
Sort
View
ICC
2009
IEEE
132views Communications» more  ICC 2009»
16 years 1 months ago
A Chaotic Maps-Based Key Agreement Protocol that Preserves User Anonymity
—A key agreement protocol is a protocol whereby two or more communicating parties can agree on a key or exchange information over an open communication network in such a way that...
Huei-Ru Tseng, Rong-Hong Jan, Wuu Yang
SP
2009
IEEE
155views Security Privacy» more  SP 2009»
16 years 1 months ago
A Logic of Secure Systems and its Application to Trusted Computing
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
Anupam Datta, Jason Franklin, Deepak Garg, Dilsun ...
ICDIM
2009
IEEE
16 years 1 months ago
Augmenting the exploration of digital libraries with web-based visualizations
Web-based digital libraries have sped up the process that scholars use to find new, important research papers. Unfortunately, current digital libraries are limited by their inade...
Peter Bergstrom, Darren C. Atkinson
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
16 years 1 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
ACMACE
2009
ACM
16 years 1 months ago
Exposure effect on experience and visual perception in stereoscopic visual presentations
The advent of new technologies in cinema, theatre and virtual reality together with increasing demands for new content, are pushing the boundaries of filmmaking and storytelling t...
Wendy Ann Mansilla, Andrew Perkis, Touradj Ebrahim...
« Prev « First page 1659 / 1866 Last » Next »