375 search results - page 17 / 75 » Declarative Reasoning about the Structure of Object-Oriented... |
AIMDM
1999
Springer
13 years 12 months ago
1999
Springer
Knowledge representation has always been a major problem in the design of medical decision support systems. In this paper we present a new methodology to represent and reason about...
CHI
2010
ACM
13 years 7 months ago
2010
ACM
Blogs are becoming an increasingly important medium-socially, academically, and politically. Much research has involved analyzing blogs, but less work has considered how such anal...
IDT
2010
13 years 6 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
ECOOP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...