3742 search results - page 730 / 749 » On the Use of Formal Techniques for Validation |
109
click to vote
CAISE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...
101
click to vote
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...
119
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
115
click to vote
CRYPTO
2010
Springer
15 years 3 months ago
2010
Springer
Secure two-party authentication and key exchange are fundamental problems. Traditionally, the parties authenticate each other by means of their identities, using a public-key infr...
138
click to vote
TCBB
2008
15 years 1 months ago
2008
Abstract-- Many statistical measures and algorithmic techniques have been proposed for studying residue coupling in protein families. Generally speaking, two residue positions are ...