2911 search results - page 472 / 583 » A Theory of Expressiveness in Mechanisms |
104
click to vote
IFM
1999
Springer
15 years 5 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
102
click to vote
ICRA
1998
IEEE
15 years 5 months ago
1998
IEEE
Part feeders, which singulate and orient parts prior to packing and insertion, are critical components of an assembly line. Existing feeders utilize o -plane vibrations of a rigid...
112
Voted
ECOOP
1998
Springer
15 years 5 months ago
1998
Springer
In this paper we study the fragile base class problem. This problem occurs in open object-oriented systems employing code inheritance as an implementation reuse mechanism. System d...
110
click to vote
LACL
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...
WADT
1998
Springer
15 years 5 months ago
1998
Springer
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...