537 search results - page 73 / 108 » Compiling Exceptions Correctly |
CBSE
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
ICPR
2010
IEEE
13 years 10 months ago
2010
IEEE
Handwritten text is generally captured through two main modalities: off-line and on-line. Smart approaches to handwritten text recognition (HTR) may take advantage of both modalit...
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
JURIX
2008
13 years 9 months ago
2008
The work described here builds on [1], where we presented a categorisation of norms or provisions in legislation. We claimed that the categories are characterized by the use of ty...
LREC
2008
13 years 9 months ago
2008
Developing linguistic resources, in particular grammars, is known to be a complex task in itself, because of (amongst others) redundancy and consistency issues. Furthermore some l...