945 search results - page 140 / 189 » Evolving Symbolic Controllers |
NDSS
2008
IEEE
15 years 4 months ago
2008
IEEE
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...
FUZZIEEE
2007
IEEE
15 years 4 months ago
2007
IEEE
— A DNA sequence can be described as a string composed of four symbols: A, T, C and G. Each symbol represents a chemically distinct nucleotide molecule. Combinations of two nucle...
POLICY
2007
Springer
15 years 3 months ago
2007
Springer
We present a discretionary access control framework that can be used to control a principal’s ability to link information from two or more audit records and compromise a user’...
CL
2010
Springer
14 years 10 months ago
2010
Springer
In a modern programming language, scoping rules determine the visibility of names in various regions of a program [15]. In this work, we examine the idea of allowing an applicatio...
HPCC
2005
Springer
15 years 3 months ago
2005
Springer
In this study, we defined requirements of ubiquitous environment, which users can monitor and control situations of home anytime, anywhere. In addition we developed and built a mod...