Sciweavers

1162 search results - page 139 / 233
» Specifying Reusable Components
Sort
View
BMCBI
2004
91views more  BMCBI 2004»
14 years 9 months ago
Improved hit criteria for DNA local alignment
The hit criterion is a key component of heuristic local alignment algorithms. It specifies a class of patterns assumed to witness a potential similarity, and this choice is decisi...
Laurent Noé, Gregory Kucherov
PROCEDIA
2010
123views more  PROCEDIA 2010»
14 years 8 months ago
An adaptive model switching and discretization algorithm for gas flow on networks
We are interested in the simulation and optimization of gas transport in networks. Those networks consist of pipes and various other components like compressor stations and valves...
Pia Domschke, Oliver Kolb, Jens Lang
ISAMI
2010
14 years 7 months ago
A Framework for Modeling and Analysis of Ambient Agent Systems: Application to an Emergency Case
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
Tibor Bosse, Alexei Sharpanskykh
ENTCS
2010
118views more  ENTCS 2010»
14 years 7 months ago
Transaction Scripts: Making Implicit Scenarios Explicit
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have ...
Sotiris Moschoyiannis, Amir R. Razavi, Paul J. Kra...
VLSI
2010
Springer
14 years 4 months ago
Local Biasing and the Use of Nullator-Norator Pairs in Analog Circuits Designs
Although local biasing of components used in an analog circuit is shown to be a very attractive design methodology, significantly simplifying the design procedure [3], it makes the...
Reza Hashemian