2519 search results - page 64 / 504 » Reasoning with Textual Cases |
ASM
2000
ASM
15 years 4 months ago
2000
ASM
Abstract. We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoni...
ICCBR
2009
Springer
15 years 6 months ago
2009
Springer
Integrity constraint belief merging aims at producing from several knowledge bases, that may be mutually inconsistent, a synthetic knowledge base satisfying a given integrity const...
ACMICEC
2004
ACM
15 years 5 months ago
2004
ACM
Business-to-business e-contracting has gained attention in recent years as a way to improve traditional paper contracting. However, a complete framework specifying the aspects of ...
FC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Micropayments are likely to continue disappointing their advocates. They are an interesting technology. However, there are many non-technological reasons why they will ta...
119
click to vote
ICCBR
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. For the improvement of software quality and productivity, organizations need to systematically build up and reuse software engineering know-how, promoting organizational ...