Sciweavers

6808 search results - page 1027 / 1362
» Distributed Concurrency Control
Sort
View
145
Voted
DMDW
2000
118views Management» more  DMDW 2000»
15 years 6 months ago
View security as the basis for data warehouse security
Access. permissions in a data warehouse are currently managed in a separate world from the sources' policies. The consequences are inconsistencies, slow response to change, a...
Arnon Rosenthal, Edward Sciore
FORTE
1997
15 years 6 months ago
Refusal Testing for Classes of Transition Systems with Inputs and Outputs
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
Lex Heerink, Jan Tretmans
IJCAI
1997
15 years 6 months ago
High Performance ATP Systems by Combining Several AI Methods
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
Jörg Denzinger, Marc Fuchs, Matthias Fuchs
ISMB
1997
15 years 6 months ago
Identifying Chimerism in Proteins Using Hidden Markov Models of Codon Usage
Protein chimerism is a phenomenon involving the combination of multiple ancestral sequences into a single, multi-domain protein through evolution. We propose a novel method for de...
Lawrence Hunter, Barry Zeeberg
WSC
2000
15 years 6 months ago
Simulation as educational support for production and logistics in industrial engineering
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
Agostino G. Bruzzone, Pietro Giribone, Roberto Rev...
« Prev « First page 1027 / 1362 Last » Next »