4965 search results - page 181 / 993 » A Simple Abstraction for Data Modeling |
137
click to vote
ESAW
2004
Springer
15 years 12 months ago
2004
Springer
The deployment of multi-agent systems demands for justified confidence into their behaviour, both with respect to correct results of computations and with respect to timeliness t...
172
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
171
click to vote
WEBI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Conversational agents interact with users using natural language interface. Especially in Internet space, their role has been recently highlighted as a virtual representa...
157
click to vote
CGI
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents an object-oriented approach for describing and modelling buildings by means of computer graphics. The approach is based on an object- and component-oriented gr...
172
click to vote
ICCS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Conceptual graphs (CGs) share with FOL a fundamental expressiveness limitation: only higher-order logics allow assertions of properties on predicates. This paper intends ...