Sciweavers

2102 search results - page 219 / 421
» A Relational Model for Object-Oriented Designs
Sort
View
EDBTW
2006
Springer
15 years 10 months ago
A Calculus for Propagating Semantic Annotations Through Scientific Workflow Queries
Scientific workflows facilitate automation, reuse, and reproducibility of scientific data management and analysis tasks. Scientific workflows are often modeled as dataflow networks...
Shawn Bowers, Bertram Ludäscher
DAGSTUHL
2003
15 years 8 months ago
Deciding Properties of Message Sequence Charts
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also i...
Anca Muscholl, Doron Peled
ICASSP
2010
IEEE
15 years 6 months ago
Optimizing spectral subtraction and wiener filtering for robust speech recognition in reverberant and noisy conditions
Speech enhancement is a common approach to address the effects of degradation due to noise and channel contamination. This approach is intended to suppress unwanted signal and rec...
Randy Gomez, Tatsuya Kawahara
ICIP
2010
IEEE
15 years 4 months ago
Wavelet-based image compression anti-forensics
Because digital images can be modified with relative ease, considerable effort has been spent developing image forensic algorithms capable of tracing an image's processing hi...
Matthew C. Stamm, K. J. Ray Liu
UTP
2010
15 years 4 months ago
Unifying Theories of Confidentiality
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
Michael J. Banks, Jeremy L. Jacob