884 search results - page 27 / 177 » Linear-Input Subset Analysis |
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
We are designing dynamic analysis techniques to identify executed program statements where a fault lies, i.e. the fault candidate set. To narrow the set of statements in the fault...
105
click to vote
CIS
2007
Springer
15 years 8 months ago
2007
Springer
Existing intrusion detection systems (IDS) operate independently from security policy enforcement mechanism. In current IDS the functionality has been restricted to detecting only...
100
Voted
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
132
click to vote
CSDA
2007
15 years 2 months ago
2007
Stability in cluster analysis is strongly dependent on the data set, especially on how well separated and how homogeneous the clusters are. In the same clustering, some clusters m...
121
click to vote
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...