8109 search results - page 1229 / 1622 » A Model of Component-Based Programming |
159
click to vote
KSEM
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...
180
click to vote
LFCS
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
193
click to vote
LPNMR
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
161
click to vote
OOPSLA
2007
Springer
16 years 13 days ago
2007
Springer
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
183
click to vote
UM
2007
Springer
16 years 12 days ago
2007
Springer
Users’ critiques to the current recommendation form a crucial feedback mechanism for refining their preference models and improving a system’s accuracy in recommendations that ...