Sciweavers

3814 search results - page 67 / 763
» Extensible Information Brokers
Sort
View
ARCS
2006
Springer
15 years 8 months ago
Safety, Liveness, and Information Flow: Dependability Revisited
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
Zinaida Benenson, Felix C. Freiling, Thorsten Holz...
SERP
2003
15 years 6 months ago
FAR: An Editing Tool for Standard Information Generation
It’s difficult for administrators to retrieve information from reports that are generated by different people with different computer platforms, word processors, and interpretat...
Tao Zhang, H. Conrad Cunningham, Jian Li
JCDL
2004
ACM
157views Education» more  JCDL 2004»
15 years 10 months ago
Accessing the alexandria digital library from geographic information systems
We describe two experimental desktop library clients that offer improved access to geospatial data via the Alexandria Digital Library (ADL): ArcADL, an extension to ESRI's Ar...
Dan Ancona, James Frew, Greg Janee, David Valentin...
SFP
2003
15 years 6 months ago
Static single information from a functional perspective
: Static single information form is a natural extension of the well-known static single assignment form. It is a program intermediate representation used in optimising compilers fo...
Jeremy Singer
JUCS
2007
152views more  JUCS 2007»
15 years 4 months ago
The SEWASIE Network of Mediator Agents for Semantic Search
: Integration of heterogeneous information in the context of Internet becomes a key activity to enable a more organized and semantically meaningful access to data sources. As Inter...
Domenico Beneventano, Sonia Bergamaschi, Francesco...