57 search results - page 12 / 12 » A formal approach to design space exploration of protocol co... |
SIGMOD
2011
ACM
12 years 7 months ago
2011
ACM
Correctness of data residing in a database is vital. While integrity constraint enforcement can often ensure data consistency, it is inadequate to protect against updates that inv...
AAAI
2006
13 years 6 months ago
2006
I propose that the notion of cognitive state be broadened from the current predicate-symbolic, Language-of-Thought framework to a multi-modal one, where perception and kinesthetic...