Sciweavers

10802 search results - page 58 / 2161
» Generative and developmental systems
Sort
View
ENTCS
2007
97views more  ENTCS 2007»
13 years 7 months ago
Can a Model Checker Generate Tests for Non-Deterministic Systems?
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
Sergiy Boroday, Alexandre Petrenko, Roland Groz
AICOM
1999
116views more  AICOM 1999»
13 years 7 months ago
Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models
On-board diagnostic systems play an important role in the current generation of cars and will play an increasingly important role in the next future. The design of on-board diagno...
Fulvio Cascio, Luca Console, Marcella Guagliumi Ma...
SIGDIAL
2010
13 years 5 months ago
Adaptive Referring Expression Generation in Spoken Dialogue Systems: Evaluation with Real Users
We present new results from a real-user evaluation of a data-driven approach to learning user-adaptive referring expression generation (REG) policies for spoken dialogue systems. ...
Srinivasan Janarthanam, Oliver Lemon
ICSE
2009
IEEE-ACM
13 years 5 months ago
Architecting Robustness and Timeliness in a New Generation of Aerospace Systems
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope...
José Rufino, João Craveiro, Paulo Ve...
SELMAS
2004
Springer
14 years 1 months ago
A Generative Approach for Multi-agent System Development
The development of Multi-Agent Systems (MASs) involves special concerns, such as interaction, adaptation, autonomy, among others. Many of these concerns are overlapping, crosscut e...
Uirá Kulesza, Alessandro F. Garcia, Carlos ...