2558 search results - page 442 / 512 » Model Composition Contracts |
113
Voted
JCB
2007
15 years 3 months ago
2007
Long-range correlations in genomic base composition are a ubiquitous statistical feature among many eukaryotic genomes. In this article, these correlations are shown to substantia...
112
Voted
CCE
2004
15 years 3 months ago
2004
Ever-changing production campaigns complicate the management of recovery and treatment options for unavoidable effluents at pharmaceutical plants. Each campaign produces large amo...
160
Voted
CUZA
2002
15 years 3 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
132
Voted
TCAD
1998
15 years 3 months ago
1998
In this paper, we present a probabilistic simulation technique to estimate the power consumption of a cmos circuit under a general delay model. This technique is based on the noti...
141
Voted
ICSOC
2010
Springer
15 years 2 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...