3658 search results - page 481 / 732 » The logic of proofs, semantically |
168
click to vote
TPHOL
1994
IEEE
15 years 10 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
179
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
An important component of any generation system is the mapping dictionary, a lexicon of elementary semantic expressions and corresponding natural language realizations. Typically,...
165
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
151
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
191
click to vote
CCGRID
2005
IEEE
16 years 8 days ago
2005
IEEE
Data services for the Grid have focussed so far primarily on virtualising access to distributed databases, and encapsulating file location. However, orchestration of services requ...