21342 search results - page 3765 / 4269 » A Structured Language Model |
128
click to vote
ASPLOS
2008
ACM
15 years 6 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...
150
click to vote
CODES
2006
IEEE
15 years 6 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...
157
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...
155
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 ...
146
click to vote
FLAIRS
2003
15 years 6 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...