11182 search results - page 2119 / 2237 » Shape Analysis of Sets |
DSN
2005
IEEE
14 years 3 months ago
2005
IEEE
We propose the first model of stateful firewalls. In this model, each stateful firewall has a variable set called the state of the firewall, which is used to store some packet...
HPDC
2005
IEEE
14 years 3 months ago
2005
IEEE
Very large scale computations are now becoming routinely used as a methodology to undertake scientific research. In this context, ‘provenance systems’ are regarded as the equ...
INFOCOM
2005
IEEE
14 years 3 months ago
2005
IEEE
— HADOF is a set of mechanisms to defend against routing disruptions in mobile ad hoc networks. Based on the observed behavior and the history record of each node, HADOF aims to ...
ISPASS
2005
IEEE
14 years 3 months ago
2005
IEEE
A wide spectrum of e-commerce (B2B/B2C), banking, financial trading and other business applications require the exchange of data to be highly secure. The Secure Sockets Layer (SSL...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
User-session-based testing of web applications gathers user sessions to create and continually update test suites based on real user input in the field. To support this approach ...