3557 search results - page 690 / 712 » Authoring Presentation for OpenMath |
RTCSA
1995
IEEE
14 years 1 months ago
1995
IEEE
: An essential building-block for construction of future real-time computer systems (RTCS’s) is a timeliness-guaranteed operating system. The first co-author recently formulated ...
CHI
2010
ACM
14 years 29 days ago
2010
ACM
We conducted a series of user studies to understand and clarify the fundamental characteristics of pressure in user interfaces for mobile devices. We seek to provide insight to cl...
DRR
2010
14 years 7 days ago
2010
Biomedical images are invaluable in establishing diagnosis, acquiring technical skills, and implementing best practices in many areas of medicine. At present, images needed for in...
MOBISYS
2010
ACM
14 years 5 days ago
2010
ACM
Many emerging smartphone applications require position information to provide location-based or context-aware services. In these applications, GPS is often preferred over its alte...
USS
2008
14 years 4 days ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...