11324 search results - page 394 / 2265 » Coordination Models and Languages |
174
click to vote
IJCAI
1993
15 years 8 months ago
1993
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
175
click to vote
CAISE
2005
Springer
16 years 12 days ago
2005
Springer
Associations are a widely used construct of object-oriented languages. However, the meaning of associations for conceptual modelling of application domains remains unclear. This pa...
169
click to vote
TCS
2002
15 years 6 months ago
2002
The new Associative Language Description (ALD) model, a combination of locally testable and constituent structure ideas, is proposed, arguing that in practice it equals context-fr...
145
click to vote
ICRA
2005
IEEE
16 years 14 days ago
2005
IEEE
— The aim of this paper is to provide a unified language for modeling both control software and physical plants in real time control systems. This is done by embedding the bond ...
226
click to vote
JAR
2008
15 years 6 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...