660 search results - page 78 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
114
Voted
KONVENS
2000
15 years 6 months ago
2000
This paper presents details of the RWTH large vocabulary continuous speech recognition system used in the VERBMOBIL spontaneous speech translation system. In particular, we report...
146
click to vote
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
102
click to vote
APSEC
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
113
click to vote
ER
2007
Springer
15 years 8 months ago
2007
Springer
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
118
click to vote
IWSSD
2000
IEEE
15 years 7 months ago
2000
IEEE
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...