Sciweavers

3305 search results - page 201 / 661
» Can we Rely on SQL
Sort
View
ISM
2005
IEEE
127views Multimedia» more  ISM 2005»
14 years 4 months ago
Distributed User Interface Elements to support Smart Interaction Spaces
In this paper we show how an interactive system can be distributed among several peer devices. By taking advantage of the current trend towards ambient intelligent environments, w...
Kris Luyten, Karin Coninx
ECML
2001
Springer
14 years 3 months ago
Comparing the Bayes and Typicalness Frameworks
When correct priors are known, Bayesian algorithms give optimal decisions, and accurate confidence values for predictions can be obtained. If the prior is incorrect however, these...
Thomas Melluish, Craig Saunders, Ilia Nouretdinov,...
FROCOS
2007
Springer
14 years 2 months ago
Certification of Automated Termination Proofs
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
Evelyne Contejean, Pierre Courtieu, Julien Forest,...
SIGMOD
2005
ACM
127views Database» more  SIGMOD 2005»
14 years 11 months ago
Fossilized Index: The Linchpin of Trustworthy Non-Alterable Electronic Records
As critical records are increasingly stored in electronic form, which tends to make for easy destruction and clandestine modification, it is imperative that they be properly manag...
Qingbo Zhu, Windsor W. Hsu
ISPEC
2005
Springer
14 years 4 months ago
An Email Worm Vaccine Architecture
We present an architecture for detecting “zero-day” worms and viruses in incoming email. Our main idea is to intercept every incoming message, prescan it for potentially danger...
Stelios Sidiroglou, John Ioannidis, Angelos D. Ker...