3149 search results - page 513 / 630 » Users in Context |
188
click to vote
ACMSE
2006
ACM
16 years 9 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
156
click to vote
DOLAP
2006
ACM
16 years 9 days ago
2006
ACM
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need b...
157
click to vote
ECLIPSE
2006
ACM
16 years 9 days ago
2006
ACM
Producing usable documentation has always been a tedious task, and even communicating important knowledge about a system among collaborators is difficult. This paper describes an ...
177
click to vote
HASKELL
2006
ACM
16 years 9 days ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
175
click to vote
IUI
2006
ACM
16 years 9 days ago
2006
ACM
This paper describes a discussion-bot that provides answers to students’ discussion board questions in an unobtrusive and humanlike way. Using information retrieval and natural ...