871 search results - page 130 / 175 » The MathServe System for Semantic Web Reasoning Services |
160
click to vote
FLOPS
2006
Springer
15 years 9 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
173
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
185
click to vote
WECWIS
2009
IEEE
16 years 24 days ago
2009
IEEE
—People, companies, and public authorities can now have a strong on-line presence and a huge amount of interactions on the Internet, made possible by the impressive growth of the...
158
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Information retrieval system evaluation is complicated by the need for manually assessed relevance judgments. Large manually-built directories on the web open the door to new eval...
149
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
This paper presents a Service-Oriented Process Model (SOM) to build a web-services based process management system, called MIDAS that would support distributed Design and Manufact...