2996 search results - page 578 / 600 » Information Modeling in the Time of the Revolution |
154
click to vote
PLDI
2009
ACM
16 years 27 days ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
215
click to vote
FOSSACS
2009
Springer
16 years 27 days ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
176
Voted
CEC
2009
IEEE
16 years 26 days ago
2009
IEEE
—In this paper we present a model which allows to co-evolve the morphology and the control system of realistically simulated robots (creatures). The method proposed is based on a...
139
Voted
CPAIOR
2009
Springer
16 years 20 days ago
2009
Springer
The interdiction problem arises in a variety of areas including military logistics, infectious disease control, and counter-terrorism. In the typical formulation of network interdi...
187
Voted
FDG
2009
ACM
16 years 18 days ago
2009
ACM
Existing work on menu techniques has shown linear menus to be less efficient and reliable for menuing tasks when compared to radial menus. With the rise in popularity of 3D spatia...