3557 search results - page 395 / 712 » Reviews |
168
click to vote
COMPUTER
2000
15 years 6 months ago
2000
Abstract--An emerging generation of mission-critical networked applications is placing demands on the Internet protocol suite that go well beyond the properties they were designed ...
181
click to vote
COLING
2002
15 years 6 months ago
2002
This paper investigates methods to automatically infer structural information from large XML documents. Using XML as a reference format, we approach the schema generation problem ...
185
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
Technology can play an important role in enabling people to interact with each other. The Web is one such technology with the affordances for sharing information and for connectin...
176
click to vote
DATASCIENCE
2002
15 years 6 months ago
2002
In this paper we survey the recent activities and achievements of our research group in the deployment of XMLrelated technologies in Cultural Heritage applications concerning the ...
188
click to vote
FMSD
2000
15 years 6 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...