1179 search results - page 73 / 236 » Programming in Hybrid Constraint Languages |
110
click to vote
IJAOSE
2010
14 years 11 months ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
107
click to vote
SAC
2006
ACM
15 years 1 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
108
click to vote
UML
2005
Springer
15 years 6 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
127
click to vote
CLIMA
2010
15 years 2 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
114
click to vote
TCS
1998
15 years 28 days ago
1998
We introduce a new constraint domain, aggregation constraints, that is useful in database query languages, and in constraint logic programming languages that incorporate aggregate...