4036 search results - page 372 / 808 » Formal Methods |
194
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
194
click to vote
FAC
2008
15 years 6 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
161
click to vote
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
We carried out eight assessments of usability engineering processes in four industrial companies, for the purpose of providing a basis for process improvement. The research method...
169
click to vote
NAACL
2007
15 years 8 months ago
2007
The task of selecting and ordering information appears in multiple contexts in text generation and summarization. For instance, methods for title generation construct a headline b...
191
click to vote
WSOM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We apply a recent formalization of visualization as information retrieval to linear projections. We introduce a method that optimizes a linear projection for an informati...