400 search results - page 7 / 80 » Moving Proofs-As-Programs into Practice |
SPE
2010
13 years 5 months ago
2010
Abstract. This paper compares organization and practices for software reuse in integrationoriented software product lines and open source software projects. The main observation is...
ICALT
2006
IEEE
14 years 1 months ago
2006
IEEE
A big part of life long learning is the move from residential lectures to distance education. Distance education falls under the multi-modal policy of the teaching institution and...
ACMDIS
2000
ACM
13 years 12 months ago
2000
ACM
This paper presents an exploratory process in which three industrial usability groups, in cooperation with HCI researchers, worked to reframe their own work practice. The usabilit...
HAPTICS
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract. A new approach to teaching the skills used by health professionals during hands-on (palpation-based) examinations and procedures is reported, where students practice indi...
AINA
2005
IEEE
14 years 1 months ago
2005
IEEE
Mobile code computation has lead to a new paradigm of distributed computation. A mobile process can move from site to site and interact with the resources as a local process. To p...