4303 search results - page 55 / 861 » Are We There Yet |
106
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Whereas today’s information systems are well-equipped for efficient query handling, their strict mathematical foundations hamper their use for everyday tasks. In daily life, peop...
92
Voted
FAC
2010
14 years 10 months ago
2010
Separation logic allows simple proofs of concurrent algorithms which use blocking mechanisms such as semaphores. It can even deal with non-blocking algorithms. With the addition of...
103
Voted
ICALT
2003
IEEE
15 years 6 months ago
2003
IEEE
Situated learning is known to be an effective didactic approach, yet, multimedia systems with built-in support for it are uncommon. We analyze the domain-independent requirements ...
98
Voted
EUROCRYPT
2006
Springer
15 years 4 months ago
2006
Springer
The standard security definition of unconditional secure function evaluation, which is based on the ideal/real model paradigm, has the disadvantage of being overly complicated to w...
128
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Information system designers face many challenges w.r.t. selecting appropriate semantic technologies and deciding on a modelling approach for their system. However, there...