10 search results - page 2 / 2 » Towards Scalable Modular Checking of User-Defined Properties |
138
click to vote
FORTE
2003
15 years 3 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
146
click to vote
INTEROP
1999
Springer
15 years 6 months ago
1999
Springer
Application systems in the earth observation area can be characterised as distributed, platform-inhomogeneous, complex, and cost intensive information systems. In order to manage t...
111
click to vote
SIGSOFT
2004
ACM
16 years 2 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
108
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: The reconstruction of protein complexes from the physical interactome of organisms serves as a building block towards understanding the higher level organization of th...
118
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...