400 search results - page 72 / 80 » Moving Proofs-As-Programs into Practice |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
In this paper we show that the initial philosophy used in designing and developing UNIX in early times has been forgotten due to “fast practices”. We question the leitmotif th...
JUCS
2008
13 years 7 months ago
2008
: When the user interface is specified, a picture is worth a thousand words, and the worst thing one can do is write a natural-language specification for it. Because this practice ...
FIRSTMONDAY
2007
13 years 7 months ago
2007
The debate on “openness” has tended to focus on standard setting, software copyrights, patent policy and collaborative innovation models – large issues that evoke heated deb...
TCSV
2008
13 years 7 months ago
2008
Abstract--In this work, we study how continuous video monitoring and intelligent video processing can be used in eldercare to assist the independent living of elders and to improve...
CGA
2005
13 years 7 months ago
2005
Casual piling of paper-based media during traditional tabletop collaboration is an important practice that helps coordinate task and group interactions. Previous research has show...