4190 search results - page 775 / 838 » Implementing commitment-based interactions |
106
click to vote
ICMI
2007
Springer
15 years 4 months ago
2007
Springer
In the context of natural multimodal dialogue systems, we address the challenging issue of the definition of cooperative answers in an appropriate multimodal form. Highlighting th...
IESS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract: The time-triggered System-on-a-Chip (SoC) architecture provides a generic multicore system platform for a family of composable and dependable giga-scale SoCs. It supports...
OOPSLA
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
PPDP
2007
Springer
15 years 4 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
ACSC
2006
IEEE
15 years 4 months ago
2006
IEEE
Malware — a generic term that encompasses viruses, trojans, spywares and other intrusive code — is widespread today. Malware analysis is a multi-step process providing insight...