1454 search results - page 251 / 291 » Stateful traits and their formalization |
192
click to vote
SEKE
2010
Springer
15 years 4 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
199
click to vote
TSE
2010
15 years 4 months ago
2010
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...
171
click to vote
BMVC
2010
15 years 4 months ago
2010
Man-made environments are abundant with planar surfaces which have attractive properties and are a prerequisite for a variety of vision tasks. This paper presents an incremental m...
163
click to vote
GI
2010
Springer
15 years 4 months ago
2010
Springer
: In this article, it is proven for finite systems that if by reciprocal interaction, one finite system determines the action of another finite system, then both systems become sub...
201
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
We utilize evolutionary game theory to study the evolution of cooperative societies and the behaviors of individual agents (i.e., players) in such societies. We present a novel pla...