2092 search results - page 199 / 419 » A domain specific modeling language for multiagent systems |
222
click to vote
AAAI
2004
15 years 8 months ago
2004
We describe SCoT, a Spoken Conversational Tutor, which has been implemented in order to investigate the advantages of natural language in tutoring, especially spoken language. SCo...
209
click to vote
MEMOCODE
2010
IEEE
15 years 5 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
235
click to vote
CIARP
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Parallel texts are enriched by alignment algorithms, thus establishing a relationship between the structures of the implied languages. Depending on the alignment level, t...
184
click to vote
ENTCS
2008
15 years 7 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
221
click to vote
SIGMOD
1993
ACM
15 years 11 months ago
1993
ACM
We describe the design and implementation of the Glue-Nail database system. The Nail language is a purely declarative query language; Glue is a procedural language used for nonque...