2092 search results - page 303 / 419 » A domain specific modeling language for multiagent systems |
202
click to vote
ATAL
2005
Springer
16 years 14 days ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
190
click to vote
KBSE
2005
IEEE
16 years 16 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
208
click to vote
AI
2010
Springer
15 years 7 months ago
2010
Springer
instruments. A melody expresses abstract artistic conception or emotion. The explanation ability plays the key role in the externalization and internalization from one form of expr...
191
click to vote
DAC
2009
ACM
16 years 8 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
219
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...