Sciweavers

24421 search results - page 408 / 4885
» Communicating Complex Systems
Sort
View
LATINCRYPT
2010
15 years 2 months ago
Communication Optimal Multi-valued Asynchronous Broadcast Protocol
Abstract. Broadcast (BC) is considered as the most fundamental primitive for fault-tolerant distributed computing and cryptographic protocols. An important and practical variant of...
Arpita Patra, C. Pandu Rangan
141
Voted
FM
1998
Springer
153views Formal Methods» more  FM 1998»
15 years 8 months ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...
IVC
2002
142views more  IVC 2002»
15 years 3 months ago
Real-time tracking of complex structures with on-line camera calibration
This paper presents a novel three-dimensional model-based tracking system which has been incorporated into a visual servoing system. The tracking system combines modern graphical ...
Tom Drummond, Roberto Cipolla
138
Voted
CORR
2007
Springer
156views Education» more  CORR 2007»
15 years 4 months ago
Analysis of a Mixed Strategy for Multiple Relay Networks
Abstract— Infrastructure based wireless communications systems as well as ad hoc networks experience a growing importance in present-day telecommunications. An increased density ...
Peter Rost, Gerhard Fettweis
IPSN
2007
Springer
15 years 10 months ago
Energy-optimized image communication on resource-constrained sensor platforms
Energy-efficient image communication is one of the most important goals for a large class of current and future sensor network applications. This paper presents a quantitative com...
Dong-U Lee, Hyungjin Kim, Steven Tu, Mohammad H. R...