2414 search results - page 267 / 483 » Reasoning Support for OWL-E |
212
click to vote
HASKELL
2005
ACM
16 years 10 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
210
click to vote
ESWS
2005
Springer
16 years 9 days ago
2005
Springer
The Semantic Web is an extension of the current Web in which information is given well-defined meaning to support effective data discovery and integration. The RDF framework is a...
143
click to vote
ICCSA
2005
Springer
16 years 9 days ago
2005
Springer
Mobile IP proposed by IETF supports continuous services for a mobile node (MN) based on its capability to roam around foreign domains [1]. Recently the rapid growth of wireless tec...
169
click to vote
ICIAR
2005
Springer
16 years 9 days ago
2005
Springer
There has been many hidden communication techniques proposed in the last few years. The focus was given to steganography to build such techniques. Utilizing stego-key(s) to hide se...
151
click to vote
PROFES
2004
Springer
16 years 4 days ago
2004
Springer
The area of tool support for software inspection has been under active research since the early 1990's. Although numerous implementations exist and development is still taking...