107 search results - page 17 / 22 » Using Abstraction in Modular Verification of Synchronous Ada... |
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
FLAIRS
2008
13 years 10 months ago
2008
Storyboards are commonly known as rows of pictures, which exemplarily sketch scenes in performing arts. The rows specify the sequence of scenes. The scenes themselves are illustra...
ICNP
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--To ensure state synchronization of signalling operations, many signaling protocol designs choose to establish "soft" state that expires if it is not refreshed. ...
WWIC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Multicasting is increasingly used as an efficient communication mechanism for group-oriented applications in the Internet. In order to offer secrecy for multicast applic...
ESOP
2010
Springer
14 years 5 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...