3428 search results - page 360 / 686 » Making the Case |
198
click to vote
NORDSEC
2009
Springer
16 years 1 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
157
Voted
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Partially ordered feature sets appear naturally in many classification settings with structured input instances, for example, when the data instances are graphs and a fe...
178
click to vote
TAP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
188
Voted
CF
2009
ACM
16 years 1 months ago
2009
ACM
The exponential growth of databases that contains biological information (such as protein and DNA data) demands great efforts to improve the performance of computational platforms...
175
click to vote
FDG
2009
ACM
16 years 1 months ago
2009
ACM
Passengers pay attention to the landscape as they move through the environment. We suggest a new type of applications, which adds to that experience. It consider their motion and ...