3515 search results - page 432 / 703 » On the semantics of Strategy Logic |
241
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the co...
231
click to vote
CSFW
2011
IEEE
14 years 7 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
269
click to vote
TOCL
2012
13 years 10 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
199
Voted
AIMSA
2004
Springer
15 years 11 months ago
2004
Springer
In: Proceedings of the Eleventh International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA-04), Springer-Verlag LNAI Series. c 2004 We present ...
200
click to vote
APBC
2004
15 years 9 months ago
2004
Addressing queries interactively to a chain of two or more biological resources is an everyday task for many scientists, as they use in-silico methods to characterize a biological...