4151 search results - page 355 / 831 » Language Driven System Design |
125
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
In this paper, we study how the performance and usability of web dialogue systems could be enhanced by using an appropriate representation of the different types of knowledge invo...
142
Voted
LCTRTS
2001
Springer
15 years 9 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
137
Voted
FBT
1998
15 years 6 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
159
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
131
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Methodologies for multiagent system development should assist the developer in making decisions about those aspects of the analysis, design and implementation, that are crucial fo...