45 search results - page 7 / 9 » Integrating and Scheduling an Open Set of Static Analyses |
WWW
2011
ACM
13 years 2 months ago
2011
ACM
Existing enterprise calendaring systems have suffered from problems like rigidity, lack of transparency, and poor integration with social networks. We present the system design an...
VMCAI
2005
Springer
14 years 25 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
LAWEB
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—The World Wide Web offers easy sharing of information, but provides only few options for the protection of sensitive information and other sensitive resources. Tradition...
CCGRID
2004
IEEE
13 years 11 months ago
2004
IEEE
Next generation applications and architectures (for example, Grids) are driving radical changes in the nature of traffic, service models, technology, and cost, creating opportunit...
BMCBI
2007
13 years 7 months ago
2007
Background: Most human genes produce several transcripts with different exon contents by using alternative promoters, alternative polyadenylation sites and alternative splice site...