4190 search results - page 452 / 838 » Type Class Directives |
161
click to vote
UIST
2006
ACM
16 years 25 days ago
2006
ACM
Scrolling is used to navigate large information spaces on small screens, but is often too restrictive or cumbersome to use for particular types of content, such as multi-page, mul...
194
click to vote
VALUETOOLS
2006
ACM
16 years 25 days ago
2006
ACM
— Considered is a mobile ad hoc network consisting of three types of nodes (source, destination and relay nodes) and using the two-hop relay routing protocol. Packets at relay no...
171
click to vote
CSFW
2005
IEEE
16 years 15 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
175
click to vote
ADBIS
2005
Springer
16 years 13 days ago
2005
Springer
We present a formal analysis of the following view-selection problem: Given a set of queries and a database, return definitions of views that, when materialized in the database, w...
177
click to vote
FOSSACS
2005
Springer
16 years 12 days ago
2005
Springer
traction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, USA 3 University of Su...