Sciweavers

9231 search results - page 229 / 1847
» informs 2008
Sort
View
FM
2008
Springer
130views Formal Methods» more  FM 2008»
15 years 8 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
CHI
2008
ACM
16 years 7 months ago
Exploring evaluation methods for ambient information systems
In this paper, we begin by laying out our motivation for exploring methods of evaluating Ambient Information Systems, with a strong push toward in-situ studies. Next, we describe ...
William R. Hazlewood, Kay Connelly, Kevin Makice, ...
AR
2008
80views more  AR 2008»
15 years 6 months ago
TORSO: Development of a Telexistence Visual System Using a 6-d.o.f. Robot Head
In telexistence master
Kouichi Watanabe, Ichiro Kawabuchi, Naoki Kawakami...
ICC
2008
IEEE
141views Communications» more  ICC 2008»
16 years 1 months ago
Secure Group-Based Information Sharing in Mobile Ad Hoc Networks
Abstract—Secure multicast has become an important component of many applications in wireless networks. In this paper, we investigate secure intra and inter group information shar...
Weichao Wang, Yu Wang 0003
ICC
2008
IEEE
125views Communications» more  ICC 2008»
16 years 1 months ago
Real-Time, Byzantine-Tolerant Information Dissemination in Unreliable and Untrustworthy Distributed Systems
—In unreliable and untrustworthy systems, information dissemination may suffer network failures and attacks from Byzantine nodes which are controlled by traitors or adversaries, ...
Kai Han, Guanhong Pei, Binoy Ravindran, E. Douglas...