890 search results - page 160 / 178 » Programming language methods in computer security |
80
Voted
FASE
2010
Springer
15 years 3 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
110
Voted
ISORC
2002
IEEE
15 years 5 months ago
2002
IEEE
— This paper describes IKE 2, which is distributed object computing middleware that supports the creation of interoperable realtime distributed applications. These applications a...
WWW
2004
ACM
16 years 1 months ago
2004
ACM
The increasing importance of Unicode for text encoding implies a possible doubling of data storage space and data transmission time, with a corresponding need for data compression...
89
Voted
ICSE
2005
IEEE-ACM
16 years 16 days ago
2005
IEEE-ACM
When building scalable systems that involve general-purpose computation and persistent data, object-oriented languages and relational databases are often essential components. Yet...
92
Voted
EMNLP
2009
14 years 10 months ago
2009
We propose a novel objective function for discriminatively tuning log-linear machine translation models. Our objective explicitly optimizes the BLEU score of expected n-gram count...