4516 search results - page 605 / 904 » Automated System Design for Availability |
171
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
We describe cs1graphics, a new Python drawing package designed with pedagogy in mind. The package is simple enough that students can sit down and make use of it from the first day...
158
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
This interactivity demonstrates Tern, a tangible programming language for middle school and late elementary school students. Tern consists of a collection of wooden blocks shaped ...
214
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Context-aware systems are pervading everyday life, therefore context modeling is becoming a relevant issue and an expanding research field. This survey has the goal to provide a c...
144
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
157
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
The idea of smart shelves or tables equipped with RFID technology has been around for some time now. There already are commercial products available, especially for retailing. All...