1821 search results - page 249 / 365 » Security-Aware Program Transformations |
130
click to vote
POS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Aggressive optimization of programs often relies on analysis and transformation that cuts across the natural abstraction boundaries of the source programming language, su...
114
click to vote
LICS
1989
IEEE
15 years 5 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
127
click to vote
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
The problem of regulating air traffic in the en route airspace of the National Airspace System is studied using an Eulerian network model to describe air traffic flow. The evolutio...
117
Voted
SNPD
2008
15 years 3 months ago
2008
In the social reality, objects communicate with each other by means of assuming roles to establish collaboration, and then can adaptively change their roles to obtain other intera...
130
Voted
CEC
2010
IEEE
15 years 3 months ago
2010
IEEE
We propose an evolutionary method for detection of vehicles in satellite imagery which involves a large number of simple elementary features and multiple detectors trained by genet...