1901 search results - page 212 / 381 » Predicting Program Properties from |
166
click to vote
ENTCS
2002
15 years 3 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
143
click to vote
CHI
2005
ACM
16 years 3 months ago
2005
ACM
An important way of making interfaces usable by nonexpert users is to enable the use of natural language input, as in natural language query interfaces to databases, or MUDs and M...
122
click to vote
VL
2009
IEEE
15 years 10 months ago
2009
IEEE
Spreadsheets can be viewed as a highly flexible endusers programming environment which enjoys wide-spread adoption. But spreadsheets lack many of the structured programming conce...
135
click to vote
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing...
135
Voted
PROVSEC
2007
Springer
15 years 9 months ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...