55 search results - page 8 / 11 » Robustness Check for Multiple Faults Using Formal Techniques |
112
Voted
PODC
2012
ACM
13 years 17 days ago
2012
ACM
Multi-party communication complexity involves distributed computation of a function over inputs held by multiple distributed players. A key focus of distributed computing research...
102
click to vote
SIGSOFT
2007
ACM
15 years 11 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
81
Voted
JMLR
2002
14 years 9 months ago
2002
This paper introduces the problem of combining multiple partitionings of a set of objects into a single consolidated clustering without accessing the features or algorithms that d...
ICWS
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
81
Voted
ECOOP
2008
Springer
14 years 12 months ago
2008
Springer
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...