2012 search results - page 311 / 403 » CORAL - Control, Relations and Logic |
187
click to vote
SAICSIT
2010
ACM
15 years 4 months ago
2010
ACM
Eliciting and analyzing requirements within knowledge systems, which fundamentally differ so far from technology supported systems represent particular challenges. African rural c...
164
click to vote
CMSB
2010
Springer
15 years 1 months ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...
220
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
223
click to vote
ICDT
2012
ACM
13 years 8 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
305
click to vote
PODS
2009
ACM
16 years 6 months ago
2009
ACM
Relational schema mappings have been extensively studied in connection with data integration and exchange problems, but mappings between XML schemas have not received the same amo...