Sciweavers

840 search results - page 147 / 168
» Universal Metadata Standard
Sort
View
FSE
2004
Springer
125views Cryptology» more  FSE 2004»
13 years 11 months ago
New Security Proofs for the 3GPP Confidentiality and Integrity Algorithms
ded abstract of this paper appears in Fast Software Encryption, FSE 2004, Lecture Notes in Computer Science, W. Meier and B. Roy editors, Springer-Verlag, 2004. This is the full ve...
Tetsu Iwata, Tadayoshi Kohno
CASCON
2007
1035views Education» more  CASCON 2007»
13 years 9 months ago
An IDE for software development using tabular expressions
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
Dennis K. Peters, Mark Lawford, Baltasar Tranc&oac...
BMCBI
2006
88views more  BMCBI 2006»
13 years 7 months ago
Effect of various normalization methods on Applied Biosystems expression array system data
Background: DNA microarray technology provides a powerful tool for characterizing gene expression on a genome scale. While the technology has been widely used in discovery-based m...
Catalin C. Barbacioru, Yulei Wang, Roger D. Canale...
BMCBI
2007
179views more  BMCBI 2007»
13 years 7 months ago
Transcript-level annotation of Affymetrix probesets improves the interpretation of gene expression data
Background: The wide use of Affymetrix microarray in broadened fields of biological research has made the probeset annotation an important issue. Standard Affymetrix probeset anno...
Hui Yu, Feng Wang, Kang Tu, Lu Xie, Yuan-Yuan Li, ...
JTAER
2008
175views more  JTAER 2008»
13 years 7 months ago
A Core Component-based Modelling Approach for Achieving e-Business Semantics Interoperability
The adoption of advanced integration technologies that enable private and public organizations to seamlessly execute their business transactions electronically is still relatively...
Till Janner, Fenareti Lampathaki, Volker Hoyer, Sp...