10159 search results - page 1852 / 2032 » System Design Validation Using Formal Models |
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Intelligent tutoring systems have demonstrated their utility in a variety of domains. However, they are notoriously resource intensive to build. We report here on the development ...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
We are developing a computer system which provides information about babies in neonatal intensive care to family members and friends. A key challenge is deciding what information ...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
This research has the main objective of presenting a study on the areas of Human-Computer Interaction (HCI) and Software Engineering (SE), focusing on the importance of integratin...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
We address the problem of incorporating user preference in automatic image enhancement. Unlike generic tools for automatically enhancing images, we seek to develop methods that ca...
EUROSEC
2009
ACM
14 years 3 months ago
2009
ACM
In this paper a new approach to API remoting for GPU virtualisation is described which aims to reduce the amount of trusted code involved in 3D rendering for guest VMs. To achieve...