533 search results - page 37 / 107 » Verification of Distributed Firewalls |
DSOM
2006
Springer
14 years 1 months ago
2006
Springer
As the complexity of large-scale enterprise applications increases, providing performance verification through staging becomes an important part of reducing business risks associat...
FCS
2006
13 years 11 months ago
2006
A computational grid is a large-scale distributed computing environment capable of providing dependable, consistent, pervasive, and inexpensive access to high-end computational re...
ECLIPSE
2006
ACM
14 years 1 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...
ASYNC
1997
IEEE
14 years 1 months ago
1997
IEEE
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...
TASE
2008
IEEE
13 years 10 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...