533 search results - page 67 / 107 » Verification of Distributed Firewalls |
234
click to vote
CSE
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
159
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we present a Design-for-Debug (DFD) reconfigurable infrastructure for SoCs to support at-speed in-system functional debug. A distributed reconfigurable fabric insert...
240
click to vote
ISORC
2005
IEEE
16 years 28 days ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
191
click to vote
PODC
2003
ACM
16 years 18 days ago
2003
ACM
We present a methodology for automatic discovery of synchronization algorithms. We built a tool and used it to automatically discover hundreds of new algorithms for the well-known ...
193
Voted
SPAA
2003
ACM
16 years 17 days ago
2003
ACM
The general problem of verifying coherence for shared-memory multiprocessor executions is NP-Complete. Verifying memory consistency models is therefore NP-Hard, because memory con...