Sciweavers

1264 search results - page 54 / 253
» Designing Safe, Reliable Systems using Scade
Sort
View
192
Voted
MOBIHOC
2002
ACM
16 years 1 months ago
Minimum energy paths for reliable communication in multi-hop wireless networks
Current algorithms for minimum-energy routing in wireless networks typically select minimum-cost multi-hop paths. In scenarios where the transmission power is fixed, each link has...
Suman Banerjee, Archan Misra
ICN
2005
Springer
15 years 7 months ago
Load Distribution Performance of the Reliable Server Pooling Framework
Abstract. The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by prov...
Thomas Dreibholz, Erwin P. Rathgeb, Michael Tü...
SAS
2007
Springer
108views Formal Methods» more  SAS 2007»
15 years 8 months ago
Programming Language Design and Analysis Motivated by Hardware Evolution
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
Alan Mycroft
IRI
2003
IEEE
15 years 7 months ago
Component-Based Design and Integration of a Distributed Multimedia Management System
Abstract – In order to fulfill the functional requirements of multimedia management systems while achieving the efficiency and reliability at the same time, we adopt the compone...
Shu-Ching Chen, Mei-Ling Shyu, Na Zhao, Chengcui Z...
MLDM
2007
Springer
15 years 8 months ago
Selection of Experts for the Design of Multiple Biometric Systems
Abstract. In the biometric field, different experts are combined to improve the system reliability, as in many application the performance attained by individual experts (i.e., d...
Roberto Tronci, Giorgio Giacinto, Fabio Roli