2192 search results - page 422 / 439 » Embedded function composition |
SOFSEM
2007
Springer
14 years 1 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
CCGRID
2006
IEEE
14 years 1 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
ICAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— The scale, reliability, and cost requirements of enterprise data centers require automation of center management. Examples include provisioning, scheduling, capacity pl...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
JPEG2000, the new standard for still image coding, Quantization, user defined wavelets, arbitrary wavelet provides a new framework and an integrated toolbox to better decomposition...
ACMDIS
2006
ACM
14 years 1 months ago
2006
ACM
This paper presents the main results of a three-year long field and design study of proactive information technology in the home. This technology uses sensors to track human activ...