959 search results - page 157 / 192 » Transfers between Logics and their Applications |
137
click to vote
SEMWEB
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. RDF may be considered as an application of XML intended to interoperably exchange semantics between Web applications. In its current form, this objective may be hard to r...
118
click to vote
HICSS
1999
IEEE
15 years 6 months ago
1999
IEEE
Millions of small heterogeneous computers are poised to spread into the infrastructure of our society. Though mostly inconspicuous today, disguised as nothing more than PIM (perso...
116
click to vote
VLDB
1993
ACM
15 years 6 months ago
1993
ACM
Extensions of the traditional atomic transaction model are needed to support the development of multi-system applications or work ows that access heterogeneous databases and legac...
142
click to vote
MA
2000
Springer
15 years 5 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
130
click to vote
HT
1991
ACM
15 years 5 months ago
1991
ACM
Most hypermedia systems emphasize the integration of graphics, images, video, and audio into a traditional hypertext framework. The hyperspeech system described in this paper, a s...