Sciweavers

1515 search results - page 125 / 303
» Information Integration: Conceptual Modeling and Reasoning S...
Sort
View
IJCAI
1989
14 years 11 months ago
A Knowledge-Based Software Information System
The difficulty of maintaining very large software systems is becoming more widely acknowledged. One of the primary problems is the need to access information about a complex and e...
Premkumar T. Devanbu, Peter G. Selfridge, Bruce W....
INEX
2005
Springer
15 years 3 months ago
TIJAH Scratches INEX 2005: Vague Element Selection, Image Search, Overlap, and Relevance Feedback
Retrieving information from heterogeneous data sources in a flexible manner and within a single (database) framework is still a challenge. In this paper we present several extensi...
Vojkan Mihajlovic, Georgina Ramírez, Thijs ...
POPL
1999
ACM
15 years 2 months ago
JFlow: Practical Mostly-Static Information Flow Control
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
Andrew C. Myers
TGIS
2002
118views more  TGIS 2002»
14 years 9 months ago
A Dynamic Architecture for Distributing Geographic Information Services
Traditional GISystems are no longer appropriate for modern distributed, heterogeneous network environments due to their closed architecture, and their lack of interoperability, reu...
Ming-Hsiang Tsou, Barbara P. Buttenfield
ASE
2005
102views more  ASE 2005»
14 years 10 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler