Sciweavers

19003 search results - page 96 / 3801
» We Need Assurance!
Sort
View
SCL
2010
124views more  SCL 2010»
13 years 6 months ago
ISDS small-gain theorem and construction of ISDS Lyapunov functions for interconnected systems
We consider networks of input-to-state dynamically stable (ISDS) systems and use a small-gain condition to assure the ISDS property for their interconnection. Under this small-gai...
Sergey Dashkovskiy, Lars Naujok
SCS
2004
13 years 9 months ago
Engineering Judgement
Engineers who develop safety-related systems are required to work to remarkably high standards: SIL 1, the lowest classification recognised by the international standard IEC 61508...
Martyn Thomas
FC
2009
Springer
150views Cryptology» more  FC 2009»
14 years 2 months ago
Privacy-Preserving Information Markets for Computing Statistical Data
Abstract. Consider an “information market” where private and potentially sensitive data are collected, treated as commodity and processed into aggregated information with comme...
Aggelos Kiayias, Bülent Yener, Moti Yung
IMC
2005
ACM
14 years 1 months ago
Network Anomography
Anomaly detection is a first and important step needed to respond to unexpected problems and to assure high performance and security in IP networks. We introduce a framework and ...
Yin Zhang, Zihui Ge, Albert G. Greenberg, Matthew ...
DEBS
2008
ACM
13 years 9 months ago
Availability models for underlay aware overlay networks
Availability of an overlay network is a necessary condition for event delivery in event based systems. The availability of the overlay links depends on the underlying physical net...
Madhu Kumar SD, Umesh Bellur