528 search results - page 81 / 106 » Construction of concrete verification models from C |
IUI
1998
ACM
14 years 26 days ago
1998
ACM
Interactive3Dlearningenvironmentscanproviderichproblemsolving experiences with unparalleled visual impact. In these environments, students interactively solve problems by directin...
LCPC
1993
Springer
14 years 21 days ago
1993
Springer
This paper presents a model for concurrent programming, where programs (concurrent program structures) are represented as composition expressions over component programs with suita...
TREC
2003
13 years 10 months ago
2003
The Tarragon Consulting team participated in the primary task of the TREC 2003 Genomics Track. We used a combination of knowledge-engineering and corpus analysis to construct sema...
ICADL
2007
Springer
14 years 2 months ago
2007
Springer
With the rapid emergence and proliferation of Internet and the trend of globalization, a tremendous amount of textual documents written in different languages are electronically ac...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
As more and more reusable structured data appears on the Web, casual users will want to take into their own hands the task of mashing up data rather than wait for mash-up sites to ...