9507 search results - page 1709 / 1902 » Time-based language models |
131
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Industry vendors hesitate to disseminate proprietary applications to academia and third party vendors. By consequence, the benchmarking process is typically driven by standardized...
153
click to vote
CODES
2006
IEEE
15 years 7 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
161
click to vote
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...
151
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
158
click to vote
DBSEC
2004
15 years 6 months ago
2004
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...