866 search results - page 24 / 174 » A Formal Investigation of |
ECOOPW
1997
Springer
14 years 2 months ago
1997
Springer
: Most of the study of patterns has been restricted to the composition of "new" patterns. These authors, however, believe that the investigation of design patterns is rip...
MFCS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. XML documents are described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properti...
KBSE
1998
IEEE
14 years 2 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
TYPES
1993
Springer
14 years 1 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
CLOR
2006
14 years 1 months ago
2006
Recent advances in object recognition have emphasized the integration of intensity-derived features such as affine patches with associated geometric constraints leading to impressi...