Sciweavers

3557 search results - page 428 / 712
» Authoring Presentation for OpenMath
Sort
View
SIGMOD
1999
ACM
99views Database» more  SIGMOD 1999»
15 years 11 months ago
Belief Reasoning in MLS Deductive Databases
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
Hasan M. Jamil
DIS
1999
Springer
15 years 11 months ago
The Melting Pot of Automated Discovery: Principles for a New Science
After two decades of research on automated discovery, many principles are shaping up as a foundation of discovery science. In this paper we view discovery science as automation of ...
Jan M. Zytkow
HPDC
1998
IEEE
15 years 11 months ago
A Resource Query Interface for Network-Aware Applications
Development of portable network-aware applications demands an interface to the network that allows an application to obtain information about its execution environment. This paper...
Bruce Lowekamp, Nancy Miller, Dean Sutherland, Tho...
DL
1998
Springer
159views Digital Library» more  DL 1998»
15 years 11 months ago
CiteSeer: An Automatic Citation Indexing System
We present CiteSeer: an autonomous citation indexing system which indexes academic literature in electronic format (e.g. Postscript files on the Web). CiteSeer understands how to ...
C. Lee Giles, Kurt D. Bollacker, Steve Lawrence
181
Voted
FC
1998
Springer
96views Cryptology» more  FC 1998»
15 years 11 months ago
Compliance Checking in the PolicyMaker Trust Management System
Emerging electronic commerce services that use public-key cryptography on a mass-market scale require sophisticated mechanisms for managing trust. For example, any service that rec...
Matt Blaze, Joan Feigenbaum, Martin Strauss