5352 search results - page 943 / 1071 » Modeling the socio-cultural context |
197
click to vote
WSDM
2010
ACM
16 years 3 months ago
2010
ACM
We consider a set of views stating possibly conflicting facts. Negative facts in the views may come, e.g., from functional dependencies in the underlying database schema. We want ...
181
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
177
click to vote
SENSYS
2009
ACM
16 years 1 months ago
2009
ACM
Many threads packages have been proposed for programming wireless sensor platforms. However, many sensor network operating systems still choose to provide an eventdriven model, du...
188
click to vote
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
171
click to vote
ADC
2009
Springer
16 years 1 months ago
2009
Springer
Access control has been studied for sometime, and there are a number of theories and techniques for handling access control for single or centralised systems; however, unique and ...