192 search results - page 20 / 39 » Ordered groups: a case study in reverse mathematics |
CALCO
2005
Springer
14 years 2 months ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
ATAL
2007
Springer
14 years 25 days ago
2007
Springer
Merging operators try to define the beliefs of a group of agents according to the beliefs of each member of the group. Several model-based propositional belief merging operators h...
WCRE
2009
IEEE
14 years 3 months ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...
WCRE
2008
IEEE
14 years 3 months ago
2008
IEEE
Integrative levels of program comprehension describe the evolution of our knowledge about a program from low-level program elements through successive and higher orders of knowled...
CASCON
1996
13 years 10 months ago
1996
A large portion of the software used in industry today is legacy software. Legacy systems often evolve into dicult to maintain systems whose original design has been lost or else ...