4573 search results - page 644 / 915 » Automated Reasoning |
118
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper describes a large case study that explores the applicability of ontology reasoning to problems in the medical domain. We investigate whether it is possible to ...
143
click to vote
IEEECIT
2005
IEEE
15 years 9 months ago
2005
IEEE
In spite of many standards efforts, Web services with similar or compatible functionalities often have heterogeneous semantics. One reason is the disparate ontologies used for ser...
169
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
132
click to vote
RIDE
1999
IEEE
15 years 8 months ago
1999
IEEE
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...
172
click to vote
CRYPTO
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...