3149 search results - page 513 / 630 » Users in Context |
158
click to vote
ACMSE
2006
ACM
15 years 10 months 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...
130
click to vote
DOLAP
2006
ACM
15 years 10 months 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...
129
click to vote
ECLIPSE
2006
ACM
15 years 10 months 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 ...
135
click to vote
HASKELL
2006
ACM
15 years 10 months 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...
146
Voted
IUI
2006
ACM
15 years 10 months 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 ...