1021 search results - page 165 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
IUI
2003
ACM
15 years 4 months ago
2003
ACM
This paper describes lessons learned in developing the linguistic, cognitive, emotional, and gestural models underlying virtual human behavior in a training application designed t...
100
click to vote
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
151
click to vote
GAMEON
2003
15 years 16 days ago
2003
In this article, we are interested in providing a framework to develop games for visually impaired or blind children. In this context, we propose a tool set to ease the creation o...
HIPS
1998
IEEE
15 years 3 months ago
1998
IEEE
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...