Sciweavers

2181 search results - page 349 / 437
» Standard Software as Microworld
Sort
View
BIBE
2007
IEEE
149views Bioinformatics» more  BIBE 2007»
14 years 1 months ago
XML Encoding of Features Describing Rule-Based Modeling of Reaction Networks with Multi-Component Molecular Complexes
Multi-state molecules and multi-component complexes are commonly involved in cellular signaling. Accounting for molecules that have multiple potential states, such as a protein tha...
Michael L. Blinov, Ion I. Moraru
DLS
2007
159views Languages» more  DLS 2007»
14 years 1 months ago
Relationally-parametric polymorphic contracts
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
Arjun Guha, Jacob Matthews, Robert Bruce Findler, ...
ICMCS
2007
IEEE
122views Multimedia» more  ICMCS 2007»
14 years 1 months ago
Bit Depth Scalable Coding
Abstract-- In this paper, we propose an H.264/AVC compliant bitdepth scalable coding solution. Our codec is capable of presenting an 8-bit AVC main profile or high profile base lay...
Yuwen Wu, Yongying Gao, Ying Chen
CASSIS
2004
Springer
14 years 29 days ago
Verification of Safety Properties in the Presence of Transactions
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
Reiner Hähnle, Wojciech Mostowski
CSB
2004
IEEE
142views Bioinformatics» more  CSB 2004»
14 years 29 days ago
FastR: Fast Database Search Tool for Non-Coding RNA
The discovery of novel non-coding RNAs has been among the most exciting recent developments in Biology. Yet, many more remain undiscovered. It has been hypothesized that there is ...
Vineet Bafna, Shaojie Zhang