Sciweavers

2016 search results - page 196 / 404
» Some observations on HC-128
Sort
View
AVSS
2005
IEEE
16 years 4 days ago
Meaningful automatic video demultiplexing with unknown number of cameras, contrast changes, and motion
This paper presents a software-based parameter-free method for the demultiplexing of a video stream [7] that is missing camera labeling information. The method is based on the obs...
Jose Luis Lisani, Lenny Rudin, Pascal Monasse, Jea...
CSFW
2005
IEEE
16 years 3 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...
BIRTHDAY
2005
Springer
16 years 1 days ago
Compositional Reasoning for Probabilistic Finite-State Behaviors
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
Yuxin Deng, Catuscia Palamidessi, Jun Pang
EWSA
2004
Springer
15 years 12 months ago
Experiences Using Viewpoints for Information Systems Architecture: An Industrial Experience Report
There has recently been an increase in interest, among information systems architecture practitioners, in using viewpoints for architectural definition and description. This has be...
Eoin Woods
IPTPS
2004
Springer
15 years 12 months ago
When Multi-hop Peer-to-Peer Lookup Matters
Distributed hash tables have been around for a long time [5, 7]. A number of recent projects propose peerto-peer DHTs, based on multi-hop lookup optimizations. Some of these syste...
Rodrigo Rodrigues, Charles Blake