Sciweavers

2081 search results - page 34 / 417
» Chaotic Systems Synchronization in Secure Communication Syst...
Sort
View
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 2 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
ISCAS
2008
IEEE
100views Hardware» more  ISCAS 2008»
15 years 4 months ago
On the security of a class of image encryption schemes
— Recently four chaos-based image encryption schemes were proposed. Essentially, the four schemes can be classified into one class, which is composed of two basic parts: permuta...
Chengqing Li, Guanrong Chen
SEUS
2010
IEEE
14 years 8 months ago
Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling
Most of the existing clock synchronization algorithms for wireless sensor networks can be viewed as proactive clock synchronization since they require nodes to periodically synchro...
Sang Hoon Lee, Yunmook Nah, Lynn Choi
DSN
2006
IEEE
15 years 3 months ago
The Startup Problem in Fault-Tolerant Time-Triggered Communication
Fault-tolerant time-triggered communication relies on the synchronization of local clocks. The startup problem is the problem of reaching a sufficient degree of synchronization a...
Wilfried Steiner, Hermann Kopetz
RTAS
2007
IEEE
15 years 4 months ago
A Programming Model for Time-Synchronized Distributed Real-Time Systems
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
Yang Zhao, Jie Liu, Edward A. Lee