982 search results - page 66 / 197 » Model Based Multi-Level Prototyping |
163
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
191
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Traditional Web-based educational systems still have several shortcomings when comparing with a real-life classroom teaching, such as lack of contextual and adaptive support, lack...
228
click to vote
IRCDL
2008
15 years 7 months ago
2008
In this paper we present a prototype system to enrich audiovisual contents with annotations, which exploits existing technologies for automatic extraction of metadata (such as OCR...
165
click to vote
EDUTAINMENT
2007
Springer
16 years 10 days ago
2007
Springer
Interactive storytelling in the virtual environment attracts a lot of research interests in recent years. Story plot and character are two most important elements of a story. Based...
173
click to vote
LPNMR
2007
Springer
16 years 9 days ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...