Sciweavers

1527 search results - page 56 / 306
» What About Wednesday
Sort
View
VLDB
2002
ACM
122views Database» more  VLDB 2002»
13 years 8 months ago
Lightweight Flexible Isolation for Language-based Extensible Systems
Safe programming languages encourage the development of dynamically extensible systems, such as extensible Web servers and mobile agent platforms. Although protection is of utmost...
Laurent Daynès, Grzegorz Czajkowski
JUCS
2008
132views more  JUCS 2008»
13 years 8 months ago
Searching ... in a Web
: Search engines--"web dragons"--are the portals through which we access society's treasure trove of information. They do not publish the algorithms they use to sort...
Ian H. Witten
SYNTHESE
2010
98views more  SYNTHESE 2010»
13 years 7 months ago
Bolzano a priori knowledge, and the Classical Model of Science
This paper is aimed at understanding one central aspect of Bolzano’s views on deductive knowledge: what it means for a proposition and for a term to be known a priori. I argue t...
Sandra Lapointe
PAIRING
2010
Springer
149views Cryptology» more  PAIRING 2010»
13 years 7 months ago
Constructing Certificateless Encryption and ID-Based Encryption from ID-Based Key Agreement
Abstract. We discuss the relationship between ID-based key agreement protocols, certificateless encryption and ID-based key encapsulation mechanisms. In particular we show how in s...
Dario Fiore, Rosario Gennaro, Nigel P. Smart
HCI
2009
13 years 6 months ago
Identifying Proper Scales on Digital Maps for In-Vehicle Navigation Systems
Abstract. Current commercial mobile navigation systems often use a predetermined scale selection schema without considering differences in spatial complexity of locations. To ident...
Anna Wu, Xiaolong Zhang