1486 search results - page 101 / 298 » Firewall Rules Analysis |
169
click to vote
EUROCAST
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
116
click to vote
ISSRE
2000
IEEE
15 years 8 months ago
2000
IEEE
A coverage testing tool ATACOBOL (Automatic Test Analysis for COBOL) that applies data flow coverage technique is developed for software development on IBM System/390 mainframe. W...
128
click to vote
ISLPED
1998
ACM
15 years 8 months ago
1998
ACM
In this paper we propose a set of rules for consistent estimation of the real performance and power features of the latch and flip-flop structures. A new simulation and optimizati...
129
click to vote
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
144
Voted
PADL
2000
Springer
15 years 7 months ago
2000
Springer
The general goal of data mining is to extract interesting correlated information from large collection of data. A key computationally-intensive subproblem of data mining involves ...