1975 search results - page 306 / 395 » Property analysis and design understanding |
204
click to vote
RIDE
1993
IEEE
15 years 10 months ago
1993
IEEE
In this paper, we describe a framework for an object-oriented modeling of meta information and its use for the integration of heterogeneous databases with the goal of their intero...
203
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
172
click to vote
CAIP
2009
Springer
15 years 9 months ago
2009
Springer
Binary decision trees based on univariate splits have traditionally employed so-called impurity functions as a means of searching for the best node splits. Such functions use estim...
187
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
199
click to vote
ICDAR
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper is concerned with a universal pattern, which is defined as a character pattern designed to have high machine-readability. This universal pattern is a character pattern...