6274 search results - page 743 / 1255 » Proofs, Programs, Processes |
201
click to vote
3DPVT
2002
IEEE
15 years 12 months ago
2002
IEEE
3D medical images produced in health centers represent tremendous amounts of data spread over different places. Automatic processing of these data often allow quantitative and rep...
167
click to vote
ACSC
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper describes the use of the reflective journal in a computer programming course at the University of South Australia. We describe rationale for the journal relating it to ...
215
click to vote
FCCM
2002
IEEE
15 years 12 months ago
2002
IEEE
Reconfigurable systems, and in particular, FPGA-based custom computing machines, offer a unique opportunity to define application-specific architectures. These architectures offer...
179
click to vote
HICSS
2002
IEEE
15 years 12 months ago
2002
IEEE
The Internet has made transfer of knowledge of successful community development programs and processes possible by allowing practitioners to connect through computer-mediated-comm...
213
click to vote
CIBSE
2009
ACM
15 years 11 months ago
2009
ACM
We present a mechanism to derivate products of Software Product Lines (SPLs) using decision models. Our approach to create SPLs is based on Model Driven Engineering principles. It ...