1486 search results - page 195 / 298 » Firewall Rules Analysis |
142
click to vote
WSC
2008
15 years 6 months ago
2008
The aim of this paper is to investigate how different smoothing parameter levels of the Automatic Pipeline Inventory and Order Based Production Control System smoothing replenishm...
139
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
125
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
This paper analyzes the entrants to the 2007 TAC Market Design competition. It presents a classification of the entries to the competition, and uses this classification to compare...
118
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
135
click to vote
DIS
2008
Springer
15 years 5 months ago
2008
Springer
Frequent closures (FCIs) and generators (FGs) as well as the precedence relation on FCIs are key components in the definition of a variety of association rule bases. Although their...