8503 search results - page 1406 / 1701 » Secure Software Architectures |
101
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
195
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
120
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Many emerging semantic web applications include ontologies from one set of authors and instance data from another (often much larger) set of authors. Often ontologies are reused a...
129
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Supporting fast access to large RDF stores has been one of key challenges for enabling use of the Semantic Web in real-life applications, more so in sensor-based systems where lar...
108
Voted
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Given a huge online social network, how do we retrieve information from it through crawling? Even better, how do we improve the crawling performance by using parallel crawlers tha...