219 search results - page 11 / 44 » Evidence-based Approach to Interacting with Open Student Mod... |
SDL
2007
13 years 9 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
DIMVA
2011
12 years 11 months ago
2011
Abstract. High-interaction honeyclients are the tools of choice to detect malicious web pages that launch drive-by-download attacks. Unfortunately, the approach used by these tools...
IVA
2009
Springer
14 years 2 months ago
2009
Springer
Currently, applications that focus on providing conversations with virtual humans require extensive work to create robust conversational models. We present a new approach called Hu...
SAC
1998
ACM
13 years 11 months ago
1998
ACM
Coordination languages have recently been attracting signi cant attention as a means of programming parallel and distributed systems. The approach of separating coordination from ...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...