5015 search results - page 436 / 1003 » Model Checking a Path |
196
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
174
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
152
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
To model human concepts of motions is essential for the development of the systems and machines that collaborate with ordinary people on spatiodynamic tasks. This paper applies two...
179
click to vote
EMNLP
2007
15 years 8 months ago
2007
We present a method for improving word alignment for statistical syntax-based machine translation that employs a syntactically informed alignment model closer to the translation m...
208
click to vote
ICDE
2006
IEEE
16 years 24 days ago
2006
IEEE
The dream of pervasive multimedia retrieval and reuse will not be realized without incorporating semantics in the multimedia database. As video data is penetrating many informatio...