371 search results - page 51 / 75 » Verification of Timing Properties in Rapid System Prototypin... |
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
Experimental analysis of networks of cooperative learning agents (to verify certain properties such as the system's stability) has been commonly used due to the complexity of...
GRAPHICSINTERFACE
2003
13 years 9 months ago
2003
Modeling complex realistic objects is a difficult and time consuming process. Nevertheless, with improvements in rendering speed and quality, more and more applications require s...
IJNSEC
2008
13 years 8 months ago
2008
Proxies are commonly used to cache objects, especially multimedia objects, so that clients can enjoy better quality-of-service (QoS) guarantees such as smaller startup latency and...
UIST
1993
ACM
14 years 2 days ago
1993
ACM
Skimming or browsing audio recordings is much more difficult than visually scanning a document because of the temporal nature of audio. By exploiting properties of spontaneous spe...
CHI
2003
ACM
14 years 1 months ago
2003
ACM
BreakingStory is an interactive system for visualizing change in online news. The system regularly collects the text from the front pages of international daily news web sites. It...