2514 search results - page 109 / 503 » The use of industrial-strength formal methods |
207
click to vote
CONCUR
1991
Springer
15 years 9 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
176
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
—We propose a novel method to evaluate table segmentation results based on a table image ground truther. In the ground-truthing process, we first extract connected components fr...
178
click to vote
ICECCS
1998
IEEE
15 years 10 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
167
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
146
click to vote
SEKE
2005
Springer
15 years 11 months ago
2005
Springer
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...