503 search results - page 96 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
83
Voted
UIST
2009
ACM
15 years 4 months ago
2009
ACM
We describe our system called MobileASL for real-time video communication on the current U.S. mobile phone network. The goal of MobileASL is to enable Deaf people to communicate w...
105
click to vote
CASES
2007
ACM
15 years 1 months ago
2007
ACM
This paper presents the first automatic scheme to allocate local (stack) data in recursive functions to scratch-pad memory (SPM) in embedded systems. A scratch-pad is a fast direct...
BMCBI
2007
14 years 9 months ago
2007
Background: In recent years, mammalian protein-protein interaction network databases have been developed. The interactions in these databases are either extracted manually from lo...
113
click to vote
EDBT
2012
ACM
13 years 2 days ago
2012
ACM
Cloud-based data management platforms often employ multitenant databases, where service providers achieve economies of scale by consolidating multiple tenants on shared servers. I...
SP
2007
IEEE
15 years 4 months ago
2007
IEEE
Malicious code (or malware) is defined as software that fulfills the deliberately harmful intent of an attacker. Malware analysis is the process of determining the behavior and ...