544 search results - page 52 / 109 » Language Technology Resource Center |
153
click to vote
WEBI
2005
Springer
15 years 11 months ago
2005
Springer
Web services have emerged as a new paradigm that supports loosely-coupled distributed systems in service discovery and service execution. Next generation web services will evolve ...
211
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
171
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
As mobile and embedded devices become widespread, the management and configuration of the software in the devices is increasingly turning into a critical issue. OSGi is a busines...
140
click to vote
ESWS
2005
Springer
15 years 11 months ago
2005
Springer
The Resource Description Framework (RDF) is a metadata model and language recommended by the W3C. This paper presents a framework to incorporate temporal reasoning into RDF, yieldi...
167
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we propose a mediator architecture for the querying and integration of Web-accessible XML data sources. Our contributions are (i) the definition of a simple but expr...