2092 search results - page 199 / 419 » A domain specific modeling language for multiagent systems |
99
Voted
AAAI
2004
15 years 9 days 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...
MEMOCODE
2010
IEEE
14 years 8 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...
115
Voted
CIARP
2009
Springer
14 years 8 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...
88
Voted
ENTCS
2008
14 years 11 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...
117
Voted
SIGMOD
1993
ACM
15 years 3 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...