8933 search results - page 104 / 1787 » Usability over time |
157
click to vote
FM
2001
Springer
15 years 10 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
165
click to vote
PET
2010
Springer
15 years 9 months ago
2010
Springer
We explore how Private Information Retrieval (PIR) can help users keep their sensitive information from being leaked in an SQL query. We show how to retrieve data from a relational...
149
click to vote
DLOG
2008
15 years 7 months ago
2008
We show that reasoning in the temporal conceptual model ERV T , a fragment of ERV T that only allows timestamping is complete for 2-ExpTime. The membership result is based on an em...
157
click to vote
CSL
2006
Springer
15 years 5 months ago
2006
Springer
In a data word or a data tree each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been considered in the realm of sem...
172
click to vote
ALGORITHMICA
1999
15 years 5 months ago
1999
We describe a coarse-grain parallel software system for the homogeneous solution of linear systems. Our solutions are symbolic, i.e., exact rather than numerical approximations. O...