770 search results - page 39 / 154 » Abstract Yourself With Modules |
88
Voted
DAGSTUHL
2003
15 years 1 months ago
2003
Abstract. Naive feature orientation runs into problems with large software systems, such as telephone switching systems. With naive feature orientation, a feature extends a base sy...
73
Voted
BC
1999
15 years 4 days ago
1999
Abstract. The size of a pair of cortical ocular dominance columns determines a basic anatomical module of V-1 which Hubel and Wiesel have termed the hypercolumn. Does this correspo...
50
Voted
MOC
2002
15 years 4 days ago
2002
Abstract. The Auslander-Reiten quiver of a finite-dimensional associative algebra A encodes information about the indecomposable finite-dimensional representations of A and their h...
118
Voted
CAV
1998
Springer
15 years 4 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
ZUM
2000
Springer
15 years 4 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...