680 search results - page 96 / 136 » Complexity of Strict Implication |
ECSQARU
2001
Springer
14 years 6 days ago
2001
Springer
Abstract. A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which s...
ICSE
2001
IEEE-ACM
14 years 4 days ago
2001
IEEE-ACM
Global software development is rapidly becoming the norm for technology companies. Previous qualitative research suggests that multi-site development may increase development cycl...
APSEC
2000
IEEE
14 years 3 days ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
ISSRE
2000
IEEE
14 years 2 days ago
2000
IEEE
Data from several projects show a significant relationship between the size of a module and its defect density. Here we address implications of this observation. Does the overall ...
COCOON
1999
Springer
13 years 12 months ago
1999
Springer
Cai and Selman [CS99] defined a modification of Levin’s notion of average polynomial time and proved, for every P-bi-immune language L and every polynomial-time computable dis...