4255 search results - page 126 / 851 » Database: Models, Languages, Design |
CSCLP
2008
Springer
13 years 12 months ago
2008
Springer
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
IJAIT
2006
13 years 10 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
SNPD
2008
13 years 11 months ago
2008
In the social reality, objects communicate with each other by means of assuming roles to establish collaboration, and then can adaptively change their roles to obtain other intera...
DGO
2003
13 years 11 months ago
2003
The paper introduces a query tool which allows users (either database experts or non-specialist users) to visually formulate and execute spatial queries directed to large federal ...
LOPSTR
2007
Springer
14 years 4 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...