Sciweavers

1592 search results - page 156 / 319
» The state of the email address
Sort
View
AINA
2007
IEEE
14 years 2 months ago
Considering Runtime Restrictions in Self-Healing Distributed Systems
Hardware failures in autonomous and distributed software systems create the need for self-healing activities. This work addresses the problem of redeploying software components af...
Christoph Danne, Viktor Dück, Benjamin Kl&oum...
APLAS
2007
ACM
14 years 2 months ago
Translation Correctness for First-Order Object-Oriented Pattern Matching
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...
Burak Emir, Qin Ma 0002, Martin Odersky
APSEC
2007
IEEE
14 years 2 months ago
Realizability of Collaboration-based Service Specifications
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
Humberto Nicolás Castejón, Rolv Br&a...
CANS
2009
Springer
132views Cryptology» more  CANS 2009»
14 years 2 months ago
Fully Robust Tree-Diffie-Hellman Group Key Exchange
We extend the well-known Tree-Diffie-Hellman technique used for the design of group key exchange (GKE) protocols with robustness, i.e. with resistance to faults resulting from poss...
Timo Brecher, Emmanuel Bresson, Mark Manulis
ICDM
2007
IEEE
156views Data Mining» more  ICDM 2007»
14 years 2 months ago
Computing Correlation Anomaly Scores Using Stochastic Nearest Neighbors
This paper addresses the task of change analysis of correlated multi-sensor systems. The goal of change analysis is to compute the anomaly score of each sensor when we know that t...
Tsuyoshi Idé, Spiros Papadimitriou, Michail...