1229 search results - page 26 / 246 » Reflections on the Design of a Specification language |
98
Voted
CHI
2005
ACM
16 years 4 days 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
15 years 25 days 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
15 years 5 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
15 years 3 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...
116
click to vote
ICMI
2010
Springer
14 years 9 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...