Sciweavers

2656 search results - page 340 / 532
» Compacting XML Data
Sort
View
ICALP
2005
Springer
15 years 9 months ago
Spatial Logics for Bigraphs
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
Giovanni Conforti, Damiano Macedonio, Vladimiro Sa...
120
Voted
DC
2001
15 years 4 months ago
zetoc: a Dublin Core Based Current Awareness Service
zetoc is a current awareness service for UK Higher and Further Education providing Z39.50 access to the British Library's Electronic Table of Contents database of journal art...
Ann Apps, Ross MacIntyre
150
Voted
CORR
2007
Springer
114views Education» more  CORR 2007»
15 years 3 months ago
SWI-Prolog and the Web
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
Jan Wielemaker, Zhisheng Huang, Lourens van der Me...
126
Voted
KBS
2008
198views more  KBS 2008»
15 years 3 months ago
Clinical practice guidelines: A case study of combining OWL-S, OWL, and SWRL
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. In this context,...
Mercedes Argüello Casteleiro, Jose Julio Des ...
NRHM
2008
106views more  NRHM 2008»
15 years 3 months ago
Towards the unification of formats for overlapping markup
Overlapping markup refers to the issue of how to represent data structures more expressive than trees--for example direct acyclic graphs--using markup (meta-)languages which have ...
Paolo Marinelli, Fabio Vitali, Stefano Zacchiroli