7715 search results - page 1113 / 1543 » Visual Rules Modeling |
146
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents a knowledge approach to designing team training systems using intelligent agents. We envision a computer-based training system in which teams are trained by pu...
149
Voted
POPL
1999
ACM
15 years 9 months ago
1999
ACM
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...
126
Voted
KBSE
1997
IEEE
15 years 9 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
101
click to vote
CIKM
1997
Springer
15 years 9 months ago
1997
Springer
In this paper, we present a complete analysis of redundant relationships in the entity-relationship model. Existing approaches use the concept of functional dependencies for ident...
131
click to vote
ICDE
1993
IEEE
15 years 9 months ago
1993
IEEE
Emerging database application domains demand not only new functionality but also high performance. To satisfy these two requirements, the Volcano project provides efficient, exten...