676 search results - page 48 / 136 » A theory of aspects |
78
Voted
ENTCS
2008
15 years 18 days ago
2008
Rewrite theories and their associated Kripke structures constitute a flexible and executable framework in which a wide range of systems can be studied. We present a general notion...
108
click to vote
IEE
2008
15 years 18 days ago
2008
The pressures which act on a software system over its life from inception to retirement are many and varied. It is an important goal in considering software evolvability to unders...
KR
1998
Springer
15 years 4 months ago
1998
Springer
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
102
Voted
ENTCS
2008
15 years 18 days ago
2008
Mathematical texts can be computerized in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangeme...
103
Voted
JASIS
2000
15 years 10 days ago
2000
: This article examines information theory from the aspect of its "conduit metaphor." A historical approach and a close reading of certain texts by Warren Weaver and Nor...