5863 search results - page 1061 / 1173 » On Model-Checking of P Systems |
134
click to vote
HASKELL
2008
ACM
15 years 5 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
130
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
This paper describes a fast, automated technique for accurate on-line estimation of the performance and power consumption of interacting processes in a multi-programmed, multi-cor...
151
click to vote
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
—Via collaborative beamforming, nodes in a wireless network are able to transmit a common message over long distances in an energy efficient fashion. However, the process of mak...
141
click to vote
ANOR
2010
15 years 4 months ago
2010
: The rapid progresses in human genome project and biotechnologies result in the sheer volume of datasets associated with in-depth scientific knowledge. Metabolomics is defined as ...
132
click to vote
BIB
2008
15 years 4 months ago
2008
Proteomics, the study of the protein complement of a biological system, is generating increasing quantities of data from rapidly developing technologies employed in a variety of d...