977 search results - page 81 / 196 » Soft Constraints for Security |
109
click to vote
COLING
2010
14 years 8 months ago
2010
Hierarchical phrase-based models provide a powerful mechanism to capture non-local phrase reorderings for statistical machine translation (SMT). However, many phrase reorderings a...
140
click to vote
SEKE
2010
Springer
15 years 28 min ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
147
click to vote
SOCIALCOM
2010
14 years 11 months ago
2010
Service composition is a new paradigm for efficient and cost-effective IT service provisioning over the network. To safely and effectively deploy composed services within an organi...
113
click to vote
DS
1997
15 years 2 months ago
1997
This paper motivates a comprehensive methodological framework for dealing with some aspects of real-world complexity in information system analysis and design. By complex applicat...
100
click to vote
FSEN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...