1393 search results - page 185 / 279 » From Models to Interactive Systems Tool Support and XIML |
164
click to vote
ASPLOS
2006
ACM
16 years 9 days ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
148
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
A programming system is the user interface between the programmer and the computer. Programming is a notoriously difficult activity, and some of this difficulty can be attribute...
184
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
157
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes our efforts in creating SimEd, a simulation of the education system. The longterm aim of this work is to be able to model the types of interactions and interp...
190
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we describe the development of an Embodied Conversational Agent (ECA) implementing the concept of a companion, i.e. an agent supporting the persistent representatio...