982 search results - page 112 / 197 » The reflective transformative design process |
LPAR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
FSE
1993
Springer
15 years 2 months ago
1993
Springer
: A new non-proprietary secret-key block-enciphering algorithm, SAFER K-64 (for Secure And Fast Encryption Routine with a Key of length 64 bits) is described. The blocklength is 64...
FCCM
2007
IEEE
15 years 1 months ago
2007
IEEE
We present a low-cost stereo vision implementation suitable for use in autonomous vehicle applications and designed with agricultural applications in mind. This implementation uti...
JUCS
2010
2010
Leveraging ICT Deployment and Integration in a Public Organization Aged 176 Years A Greek Case Study
14 years 8 months ago
: The successful deployment and exploitation of an Information and Communications Technologies (ICT) project in a traditional Public Organization involves the proper design and imp...
DATE
2010
IEEE
15 years 3 months ago
2010
IEEE
- Due to the runtime flexibility offered by field programmable gate arrays (FPGAs), FPGAs are popular devices for stream processing systems, since many stream processing applicatio...