6527 search results - page 186 / 1306 » On Typing Information Flow |
PLDI
1995
ACM
14 years 23 days ago
1995
ACM
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
INTERACT
2003
13 years 10 months ago
2003
: Technology innovators face the challenge of finding representative groups of users to participate in design activities. In some cases, software applications will target an audien...
APWEB
2010
Springer
13 years 8 months ago
2010
Springer
— Query term suggestion that interactively expands the queries is an indispensable technique to help users formulate high-quality queries and has attracted much attention in the ...
PVLDB
2010
13 years 7 months ago
2010
Form-style interfaces have been widely used to allow users to access information. In this demonstration paper, we develop a new search paradigm in form-style query interfaces, cal...
HOTNETS
2010
13 years 4 months ago
2010
Today's networks discriminate towards or against traffic for a wide range of reasons, and in response end users and their applications increasingly attempt to evade monitorin...