1874 search results - page 22 / 375 » Abstract Machine for LDL |
ICML
2008
IEEE
14 years 8 months ago
2008
IEEE
act Framework For Structure Design Michael Schnall-Levin Massachusetts Institute of Technology Joint work with: Leonid Chindelevitch and Bonnie Berger
ECML
2005
Springer
14 years 1 months ago
2005
Springer
IMCSIT
2010
13 years 4 months ago
2010
Abstract--A Web-based system for human evaluation of machine translation is presented in this paper. The system is based on comprehension tests similar to the ones used in Polish m...
OOPSLA
2010
Springer
2010
Springer
Encapsulation and locality: a foundation for concurrency support in multi-language virtual machines?
13 years 5 months ago
We propose to search for common abstractions for different concurrency models to enable high-level language virtual machines to support a wide range of different concurrency model...
GI
2009
Springer
13 years 5 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...