Sciweavers

7602 search results - page 204 / 1521
» A New Approach to Base Revision
Sort
View
ICARIS
2007
Springer
16 years 24 days ago
Immune and Evolutionary Approaches to Software Mutation Testing
We present an Immune Inspired Algorithm, based on CLONALG, for software test data evolution. Generated tests are evaluated using the mutation testing adequacy criteria, and used to...
Peter May, Jon Timmis, Keith Mander
DATE
2003
IEEE
105views Hardware» more  DATE 2003»
15 years 12 months ago
Approximation Approach for Timing Jitter Characterization in Circuit Simulators
A new computational concept of timing jitter is proposed that is suitable for exploitation in circuit simulators. It is based on the approximation of computed noise characteristic...
Mark M. Gourary, Sergey G. Rusakov, Sergey L. Ulya...
EVOW
2001
Springer
15 years 11 months ago
An Evolutionary Annealing Approach to Graph Coloring
This paper presents a new heuristic algorithm for the graph coloring problem based on a combination of genetic algorithms and simulated annealing. Our algorithm exploits a novel cr...
Dimitris Fotakis, Spiridon D. Likothanassis, Stama...
157
Voted
MMMACNS
2001
Springer
15 years 11 months ago
The Set and Function Approach to Modeling Authorization in Distributed Systems
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
Tatyana Ryutov, B. Clifford Neuman
165
Voted
PST
2004
15 years 8 months ago
A Declarative Approach to Stateful Intrusion Detection and Network Monitoring
In this paper we present a new approach to stateful intrusion detection. It is based on a temporal logic which has the capability to express temporary properties, which are propert...
Mathieu Couture, Béchir Ktari, Mohamed Mejr...