Sciweavers

4184 search results - page 405 / 837
» A Data Transformation System for Biological Data Sources
Sort
View
SP
2003
IEEE
104views Security Privacy» more  SP 2003»
15 years 12 months ago
Using Replication and Partitioning to Build Secure Distributed Systems
A challenging unsolved security problem is how to specify and enforce system-wide security policies; this problem is even more acute in distributed systems with mutual distrust. T...
Lantian Zheng, Stephen Chong, Andrew C. Myers, Ste...
ICAIL
2005
ACM
16 years 8 days ago
Constructing a Semantic Network for Legal Content
The Dutch Tax and Customs Administration (DTCA) is one of many organizations that deal with a multitude of electronic legal data, from various sources and in different formats. In...
Radboud Winkels, Alexander Boer, Emile de Maat, To...
ICCAD
2008
IEEE
140views Hardware» more  ICCAD 2008»
16 years 3 months ago
Correct-by-construction microarchitectural pipelining
— This paper presents a method for correct-by-construction microarchitectural pipelining that handles cyclic systems with dependencies between iterations. Our method combines pre...
Timothy Kam, Michael Kishinevsky, Jordi Cortadella...
EDBT
2008
ACM
173views Database» more  EDBT 2008»
16 years 6 months ago
SeMap: a generic mapping construction system
Most previous schema mapping works focus on creating mappings in specific data models for data transformation, failing to capture a richer set of possible relationships between sc...
Ting Wang, Rachel Pottinger
AAAI
2011
14 years 6 months ago
An Online Spectral Learning Algorithm for Partially Observable Nonlinear Dynamical Systems
Recently, a number of researchers have proposed spectral algorithms for learning models of dynamical systems—for example, Hidden Markov Models (HMMs), Partially Observable Marko...
Byron Boots, Geoffrey J. Gordon