9989 search results - page 349 / 1998 » A CLP Approach to Modelling Systems |
185
click to vote
FORTE
2007
15 years 8 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
199
click to vote
LWA
2007
15 years 8 months ago
2007
Typical conversational recommender systems support interactive strategies that are hard-coded in advance and followed rigidly during a recommendation session. In fact, Reinforceme...
198
click to vote
UTP
2010
15 years 5 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
188
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
: Increasingly, models (and modelers) are being asked to address the interactions between human influences, ecological processes, and landscape dynamics that impact many diverse as...
196
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
Accurate prediction of operator execution time is a prerequisite for database query optimization. Although extensively studied for conventional disk-based DBMSs, cost modeling in ...