8623 search results - page 1602 / 1725 » Software engineering for secure systems |
SEFM
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
FASE
2007
Springer
14 years 3 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
AUIC
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we present a framework to use an arbitrary number of mouse and keyboard input devices controlling Swing based Java applications. These devices can be distributed am...
IUI
2006
ACM
14 years 3 months ago
2006
ACM
Question answering (QA) systems take users’ natural language questions and retrieve relevant answers from large repositories of free texts. Despite recent progress in QA researc...
IUI
2006
ACM
14 years 3 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...