1897 search results - page 21 / 380 » What is a design |
VSTTE
2005
Springer
14 years 26 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
For much of the industrialized world, network connectivity in the home is commonplace. Despite the large number of networked homes, even the most technically savvy people can have...
CHI
2001
ACM
14 years 7 months ago
2001
ACM
The credibility of web sites is becoming an increasingly important area to understand. To expand knowledge in this domain, we conducted an online study that investigated how diffe...
Publication
In recent years, with camera pixels shrinking in size, images are more likely to include defocused regions. In order to recover scene details from defocused regions, deblurring tec...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Amidst constant innovation in information and communication technologies, a new pattern of work is emerging. Hierarchical authority structures are giving way to greater decision-m...