1411 search results - page 189 / 283 » Interactive Coding for Interactive Proofs |
GI
2009
Springer
15 years 2 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
ETRA
2000
ACM
15 years 2 months ago
2000
ACM
Text input with eye trackers can be implemented in many ways such as on-screen keyboards or context sensitive menu-selection techniques. We propose the use of off-screen targets a...
ICDAR
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper concerns a study of information content in postal address fields for automatic address interpretation. Information provided by a combination of address components and i...
LCTRTS
1999
Springer
15 years 2 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...
WCRE
1997
IEEE
15 years 2 months ago
1997
IEEE
We present an approach for the generation of components for a software renovation factory. These components are generated from a context-free grammar definition that recognizes t...