Sciweavers

1875 search results - page 196 / 375
» A Calculus of Broadcasting Systems
Sort
View
FSS
2010
105views more  FSS 2010»
15 years 1 months ago
On the (fuzzy) logical content of CADIAG-2
CADIAG-2 is a successful expert system assisting in the differential diagnosis in internal medicine. With its aid, conjectures about present diseases are derived from possibly vag...
Thomas Vetterlein, Agata Ciabattoni
GPCE
2008
Springer
15 years 5 months ago
Typing communicating component assemblages
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a typesystem-based approach to avoid message handling err...
Michael Lienhardt, Alan Schmitt, Jean-Bernard Stef...
168
Voted
IMC
2009
ACM
15 years 10 months ago
Modeling user activities in a large IPTV system
Internet Protocol Television (IPTV) has emerged as a new delivery method for TV. In contrast with native broadcast in traditional cable and satellite TV system, video streams in I...
Tongqing Qiu, Zihui Ge, Seungjoon Lee, Jia Wang, J...
SP
2010
IEEE
206views Security Privacy» more  SP 2010»
15 years 7 months ago
Revocation Systems with Very Small Private Keys
In this work, we design a method for creating public key broadcast encryption systems. Our main technical innovation is based on a new “two equation” technique for revoking us...
Allison B. Lewko, Amit Sahai, Brent Waters
130
Voted
GIS
2007
ACM
15 years 7 months ago
Randomization in traffic information sharing systems
In this paper, we consider a traffic information sharing system based on Floating Car Data (FCD). FCD is one of the methods used to gather traffic information; it uses vehicles as...
Masaaki Tanizaki, Ouri Wolfson