3564 search results - page 124 / 713 » Evaluating a Formal Modelling Language |
WWW
2008
ACM
15 years 10 months ago
2008
ACM
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
100
click to vote
AI
2006
Springer
14 years 10 months ago
2006
Springer
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...
CICLING
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Spanglish is the simultaneous use, or alternating of both, traditional Spanish and English within the same conversational event. This interlanguage is commonly used in U....
DAI
1995
Springer
15 years 1 months ago
1995
Springer
In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agen...
JSS
2010
14 years 4 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...