2514 search results - page 177 / 503 » The use of industrial-strength formal methods |
150
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
169
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
143
click to vote
DSVIS
2003
Springer
15 years 11 months ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
174
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We present AceWiki, a prototype of a new kind of semantic wiki using the controlled natural language Attempto Controlled English (ACE) for representing its content. ACE is a subse...
161
click to vote
ACSC
2005
IEEE
16 years 2 days ago
2005
IEEE
The data mining inspired problem of finding the critical, and most useful features to be used to classify a data set, and construct rules to predict the class of future examples ...