1366 search results - page 133 / 274 » Modularizing Contexted Constraints |
133
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
123
click to vote
PVLDB
2010
15 years 1 months ago
2010
Independence analysis is the problem of determining whether an update affects the result of a query, e.g. a constraint or materialized view. We develop a new, modular framework fo...
151
click to vote
TSE
2010
15 years 1 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...
114
click to vote
EMNLP
2010
15 years 1 months ago
2010
Most coreference resolution models determine if two mentions are coreferent using a single function over a set of constraints or features. This approach can lead to incorrect deci...
164
click to vote
IADIS
2003
15 years 4 months ago
2003
Today’s users want to access their data everywhere and any time – in various environments and occasions. The data itself can be very complex – the problem is then in providi...