511 search results - page 76 / 103 » Spelling Correction Using Context |
92
Voted
CHI
2005
ACM
16 years 28 days ago
2005
ACM
Users of traditional tutorials and help systems often have difficulty finding the components described or pictured in the procedural instructions. Users also unintentionally miss ...
154
Voted
POPL
2003
ACM
16 years 25 days ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
PODS
2006
ACM
16 years 19 days ago
2006
ACM
Recently proposed form-based web information systems liberate the capture and reuse of data in organizations by substituting the development of technical implementations of electr...
90
Voted
ICSE
2007
IEEE-ACM
16 years 18 days ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
109
Voted
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...