Sciweavers

33 search results - page 1 / 7
» sp 2003
Sort
View
SP
2003
IEEE
13 years 11 months ago
Probabilistic Treatment of MIXes to Hamper Traffic Analysis
Dakshi Agrawal, Dogan Kesdogan, Stefan Penz
SP
2003
IEEE
104views Security Privacy» more  SP 2003»
13 years 11 months ago
Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management
Ninghui Li, William H. Winsborough, John C. Mitche...
ICIP
2003
IEEE
14 years 8 months ago
The improved SP frame coding technique for the JVT standard
An efficient and flexible coding technique is proposed in this paper inspired by the SP frame in the H.26L standard, which can achieve a drift-free bitstream switching at the pred...
Xiaoyan Sun, Shipeng Li, Feng Wu, Jacky Shen, Wen ...
ICLP
2003
Springer
13 years 11 months ago
Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
Frank D. Valencia