12946 search results - page 2414 / 2590 » Natural Language Processing |
163
click to vote
ISSTA
1989
ACM
15 years 10 months ago
1989
ACM
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
172
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
The primary implementations of AspectJ to date are based on a compile- or load-time weaving process that produces Java byte code. Although this implementation strategy has been cr...
171
click to vote
ASSETS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we describe the latest version of SIBYLLE, an AAC system that permits persons suffering from severe physical disabilities to enter text with any computer applicatio...
157
click to vote
ASYNC
2007
IEEE
15 years 10 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
182
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we propose a methodology for the construction of 3D electronic institutions. 3D electronic institutions are normative environments where software and human agents ca...