8828 search results - page 1228 / 1766 » Formal methods in practice |
175
click to vote
CHI
2009
ACM
15 years 10 months ago
2009
ACM
We conducted a field-based study examining informal nursing information. We examined the use of this information before and after the adoption of a CPOE (Computerized Provider Ord...
168
click to vote
ICDT
2010
ACM
15 years 9 months ago
2010
ACM
Checking the correspondence between two or more database instances and enforcing it is a procedure widely used in practice without however having been explored from a theoretical ...
208
click to vote
FLAIRS
2007
15 years 9 months ago
2007
As personal assistant software matures and assumes more autonomous control of its users’ activities, it becomes more critical that this software can explain its task processing....
240
click to vote
DLOG
2008
15 years 9 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
185
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
In this paper, we study the security of a practical randomness extractor and its application in the tls standard. Randomness extraction is the first stage of key derivation functi...