528 search results - page 57 / 106 » Construction of concrete verification models from C |
151
click to vote
OTM
2007
Springer
16 years 8 days ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
145
click to vote
EVOW
2004
Springer
15 years 11 months ago
2004
Springer
An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol ent...
151
click to vote
LCTRTS
2010
Springer
16 years 29 days ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
175
click to vote
TCBB
2008
15 years 6 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
172
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
This paper proposes a joint feature-based model indexing and geometric constraint based alignment pipeline for efficient and accurate recognition of 3D objects from a large model ...