2373 search results - page 36 / 475 » The Design of the Zinc Modelling Language |
116
click to vote
VLDB
1991
ACM
15 years 4 months ago
1991
ACM
Most database interfaces provide poor guidance on ad hoc query formulation, burdening users to learn, and to recall precisely the query language and the database. Kaleidoscope avo...
160
click to vote
CSCLP
2008
Springer
15 years 3 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...
112
click to vote
IJAIT
2006
15 years 1 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...
106
click to vote
SNPD
2008
15 years 2 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...
136
click to vote
LOPSTR
2007
Springer
15 years 7 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 ...