Sciweavers

14704 search results - page 292 / 2941
» computing 2007
Sort
View
CHI
2007
ACM
16 years 4 months ago
K-menu: a keyword-based dynamic menu interface for small computers
In this paper, we introduce K-Menu, a keyword-based dynamic menu interface. When a user enters a keyword, a menu with items related to the keyword is constructed dynamically and p...
Seung Eun Lee, Geehyuk Lee
LICS
2007
IEEE
15 years 10 months ago
Relational Parametricity for Computational Effects
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
Rasmus Ejlers Møgelberg, Alex Simpson
MOBIQUITOUS
2007
IEEE
15 years 10 months ago
Design and Evaluation of a Hybrid Physical Space Service for Pervasive Computing Applications
Abstract— In this paper we present the design and implementation of a space service that gives pervasive computing applications both a hierarchical and coordinate-based view of p...
Nancy Miller, Peter Steenkiste
BROADNETS
2007
IEEE
15 years 10 months ago
Computer worm ecology in encounter-based networks
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...
Sapon Tanachaiwiwat, Ahmed Helmy
AINA
2007
IEEE
15 years 10 months ago
Kernel and Application Integrity Assurance: Ensuring Freedom from Rootkits and Malware in a Computer System
Malware and rootkits are serious security vulnerabilities, and they can be designed to be resistant to anti-viral software, or even totally undetectable. This paper described a hi...
Lifu Wang, Partha Dasgupta