923 search results - page 72 / 185 » On the Computation of Relational View Complements |
100
click to vote
ERSHOV
2006
Springer
15 years 3 months ago
2006
Springer
Information systems support data privacy by constraining user's access to public views and thereby hiding the non-public underlying data. The privacy problem is to prove that ...
108
click to vote
DAC
1997
ACM
15 years 3 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
INTERACT
2003
15 years 1 months ago
2003
: The interactivity afforded to the learner by the computer based media is often fairly restricted. This may be by design choice but is often brought about by resource constraints....
GI
2008
Springer
15 years 28 days ago
2008
Springer
: Search technology can be applied to many applications and is in the heart of always growing information society. A promising new development is the use of ontologies to enable se...
HCI
2009
14 years 9 months ago
2009
In the Web 2.0 era, people not only read web contents but upload, view, share and evaluate all contents on the web. This leads us to introduce a new type of social network that is ...