3828 search results - page 469 / 766 » Proof-Based System Engineering Using a Virtual System Model |
158
Voted
CCS
1993
ACM
15 years 11 months ago
1993
ACM
Designers of cryptographic systems are at a disadvantage to most other engineers, in that information on how their systems fail is hard to get: their major users have traditionall...
190
Voted
ACL
2003
15 years 8 months ago
2003
Speech interfaces to question-answering systems offer significant potential for finding information with phones and mobile networked devices. We describe a demonstration of spok...
179
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a langua...
212
click to vote
AIIDE
2008
15 years 9 months ago
2008
In this paper we describe a system called ViGLS (Visualization of Game Log Summaries) that generates summaries of gameplay sessions from game logs. ViGLS automatically produces vi...
168
Voted
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents an application for the automatic generation of Bond Graph models. The basis for this automated creation is a modified plant model in the XML-format according t...