5243 search results - page 180 / 1049 » Reasoning About Strategies |
162
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
Previous research on the use of diagrams for argumentation instruction has highlighted, but not conclusively demonstrated, their potential benefits. We examine the relative benefit...
183
click to vote
SWAP
2008
15 years 8 months ago
2008
Abstract. The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of...
159
click to vote
SWAP
2007
15 years 7 months ago
2007
Abstract. Ontologies are pervading many areas of knowledge representation and management. To date, most research efforts have been spent on the development of sufficiently express...
187
click to vote
ENTCS
2008
15 years 6 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
195
click to vote
ENTCS
2006
15 years 6 months ago
2006
Several variants of Bryant's ordered binary decision diagrams have been suggested in the literature to reason about discrete functions. In this paper, we introduce a generic ...