Sciweavers

1162 search results - page 139 / 233
» Specifying Reusable Components
Sort
View
110
Voted
BMCBI
2004
91views more  BMCBI 2004»
15 years 2 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
110
Voted
PROCEDIA
2010
123views more  PROCEDIA 2010»
15 years 1 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
156
Voted
ISAMI
2010
15 years 21 days 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
140
Voted
ENTCS
2010
118views more  ENTCS 2010»
15 years 4 days 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...
108
Voted
VLSI
2010
Springer
14 years 9 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