Sciweavers

1407 search results - page 277 / 282
» Towards Usable Analysis, Design and Modeling Tools
Sort
View
ASM
2010
ASM
14 years 1 months ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
DOCENG
2003
ACM
14 years 19 days ago
Structuring interactive TV documents
Interactive video technology is meant to support user-interaction with video in scene objects associated with navigation in video segments and access to text-based metadata. Inter...
Rudinei Goularte, Edson dos Santos Moreira, Maria ...
BMCBI
2006
92views more  BMCBI 2006»
13 years 7 months ago
Demonstration of two novel methods for predicting functional siRNA efficiency
Background: siRNAs are small RNAs that serve as sequence determinants during the gene silencing process called RNA interference (RNAi). It is well know that siRNA efficiency is cr...
Peilin Jia, Tieliu Shi, Yu-Dong Cai, Yixue Li
PE
2008
Springer
173views Optimization» more  PE 2008»
13 years 7 months ago
Improving fairness in a WRED-based DiffServ network: A fluid-flow approach
The DiffServ architecture has been proposed as a scalable approach for upgrading the Internet, adding service differentiation functionalities. However, several aspects of this arc...
Mario Barbera, Alfio Lombardo, Giovanni Schembra, ...
STOC
2003
ACM
174views Algorithms» more  STOC 2003»
14 years 7 months ago
Adiabatic quantum state generation and statistical zero knowledge
The design of new quantum algorithms has proven to be an extremely difficult task. This paper considers a different approach to the problem, by studying the problem of 'quant...
Dorit Aharonov, Amnon Ta-Shma