2488 search results - page 122 / 498 » An improvement in formal verification |
104
Voted
BMVC
1998
15 years 2 months ago
1998
This paper presents an enhanced hypothesis verification strategy for 3D object recognition. A new learning methodology is presented which integrates the traditional dichotomic obj...
82
Voted
FUIN
2007
15 years 22 days ago
2007
We present in this paper the algorithm which performs the translation of MSC’2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justifi...
118
click to vote
SRDS
1999
IEEE
15 years 5 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
145
Voted
AOSD
2009
ACM
15 years 4 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
100
click to vote
ISSS
2000
IEEE
15 years 5 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...