3335 search results - page 351 / 667 » Grid result checking |
185
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
185
click to vote
APN
2006
Springer
15 years 8 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
177
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
141
click to vote
LREC
2010
15 years 8 months ago
2010
Many NLP applications need fundamental tools to convert the input text into appropriate form or format and extract the primary linguistic knowledge of words and sentences. These t...
171
click to vote
ACL
2000
15 years 8 months ago
2000
Writing English is a big barrier for most Chinese users. To build a computer-aided system that helps Chinese users not only on spelling checking and grammar checking but also on w...