775 search results - page 88 / 155 » Interface Design Techniques for Single-Chip Systems |
CAV
2006
Springer
13 years 11 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
A variety of applications are emerging to support streaming video from mobile devices. However, many tasks can benefit from streaming specific content rather than the full video f...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Malware such as Trojan Horses and spyware remain to be persistent security threats that exploit the overly complex graphical user interfaces of today’s commodity operating syste...
UIST
2005
ACM
14 years 1 months ago
2005
ACM
A significant problem encounteredwhen building Augmented Reality (AR) systems is that all spatial knowledge about the world has uncertainty associated with it. This uncertainty m...
ISOOMS
1994
14 years 1 days ago
1994
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...