1151 search results - page 118 / 231 » A Generative Approach for Multi-agent System Development |
FMCO
2006
Springer
14 years 20 days ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
LREC
2010
13 years 10 months ago
2010
SINotas is a data-to-text NLG application intended to produce short textual reports on students'academic performance from a database conveying their grades, weekly attendance...
MSR
2005
ACM
14 years 2 months ago
2005
ACM
Diversification of software assets through changing requirements impose a constant challenge on the developers and maintainers of large software systems. Recent research has addr...
ICALT
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper an instructional framework is proposed for supporting personalised learning in the context of webbased adaptive educational hypermedia systems. A learning-focused ap...
FASE
2011
Springer
13 years 15 days ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...