1229 search results - page 26 / 246 » Reflections on the Design of a Specification language |
CHI
2005
ACM
14 years 8 months ago
2005
ACM
We present Breakaway, an ambient display that encourages people, whose job requires them to sit for long periods of time, to take breaks more frequently. Breakaway uses the inform...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
CD
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...
ASPDAC
2001
ACM
13 years 11 months ago
2001
ACM
This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelined circuits with feedback. This approach combines a high-level, modula...
ICMI
2010
Springer
13 years 5 months ago
2010
Springer
Identifying verbally and non-verbally referred-to objects is an important aspect of human-robot interaction. Most importantly, it is essential to achieve a joint focus of attentio...