Sciweavers

653 search results - page 31 / 131
» Implications of a Data Structure Consistency Checking System
Sort
View
SOSP
2009
ACM
15 years 8 months ago
Improving application security with data flow assertions
RESIN is a new language runtime that helps prevent security vulnerabilities, by allowing programmers to specify application-level data flow assertions. RESIN provides policy obje...
Alexander Yip, Xi Wang, Nickolai Zeldovich, M. Fra...
DAGSTUHL
1990
15 years 28 days ago
Parallel Rule-Firing Production Systems
One of the principal advantages of parallelizing a rule-based system, or more generally, any A.I. system, is the ability to pursue alternate search paths concurrently. Conventiona...
Daniel Neimann
SIGMOD
2008
ACM
85views Database» more  SIGMOD 2008»
15 years 12 months ago
The ORCHESTRA Collaborative Data Sharing System
Sharing structured data today requires standardizing upon a single schema, then mapping and cleaning all of the data. This results in a single queriable mediated data instance. Ho...
Zachary G. Ives, Todd J. Green, Grigoris Karvounar...
IADIS
2004
15 years 1 months ago
A Case Study on Research Assistant System From Knowledge Management Perspective
The purpose of this study is to develop a web-based Research Assistant System (RAS), a Knowledge Management System by community of practice, to improve the group performance of Re...
Jin Yang, Ming Huang
FOAL
2009
ACM
15 years 6 months ago
A type system for functional traversal-based aspects
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
Bryan Chadwick, Karl J. Lieberherr