402 search results - page 34 / 81 » Automatic Abstraction for Worst-Case Analysis of Discrete Sy... |
TEAA
2005
Springer
14 years 2 months ago
2005
Springer
Enterprise systems are mission critical. As a result, ensuring their correctness is of primary concern. This paper aids to the analysis of Web Applications, focusing on the aspects...
PAMI
2011
12 years 11 months ago
2011
Abstract—In this paper, we define meta-recognition, a performance prediction method for recognition algorithms, and examine the theoretical basis for its post-recognition score ...
IBPRIA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In pattern matching based Protein-Protein Interaction Extraction systems, patterns generated manually or automatically exist erroneous and redundancy, which greatly affec...
FORTE
2009
13 years 6 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
HPCC
2007
Springer
14 years 19 days ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...