860 search results - page 146 / 172 » A Process Algebra Based Verification of a Production System |
CCE
2004
13 years 7 months ago
2004
Batch time (energy) requirements are provided for the separation of a zeotropic mixture in three batch column configurations. The separation tasks were performed in two different ...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Today business registries are regarded as means of finding services offered by a business partner. However, business registries might also serve as means of seaching inter-organiza...
BMCBI
2007
13 years 7 months ago
2007
Annotating genes and their products with Gene Ontology codes is an important area of research. One approach for doing this is to use the information available about these genes in...
ATS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...
MOBICOM
2006
ACM
14 years 1 months ago
2006
ACM
This paper discusses the current state of the art systems of real time telemetry on oceanographic moorings and describes the design requirements for making acoustic modem data tel...