Sciweavers

5869 search results - page 382 / 1174
» Multilingual Information Access
Sort
View
CAI
2006
Springer
15 years 6 months ago
Formal Verification of Security Model Using SPR Tool
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D....
MTSR
2007
Springer
16 years 28 days ago
A Distributed Architecture for Harvesting Metadata Describing Organizations in the Agriculture Sector
Providing easy access to updated, accurate and semantically meaningful information about organizations working in the agriculture sector is of primary importance in agricultural in...
Valeria Pesce, Maru Ajit, Gauri Salokhe, Johannes ...
SIGDOC
2006
ACM
16 years 22 days ago
Taming the inaccessible web
Visually impaired users are hindered in their efforts to access the largest repository of electronic information in the world, namely the World Wide Web (Web). A visually impaired...
Simon Harper, Sean Bechhofer, Darren Lunn
ELPUB
2008
ACM
15 years 8 months ago
African universities in the knowledge economy: a collaborative approach to researching and promoting open communications in high
This paper will describe the informal collaborative approach taken by a group of donor funders and researchers in southern and eastern Africa aimed at consolidating the results an...
Eve Gray, Mark Burke
AAAI
1996
15 years 8 months ago
Learning Models for Multi-Source Integration
One issue involved in accessing multiple heterogeneous information sources is how to integrate the retrieved data. SIMS, an information mediator, handles this problem by mapping t...
Sheila Tejada, Craig A. Knoblock, Steven Minton