Sciweavers

989 search results - page 33 / 198
» HowNet and Its Computation of Meaning
Sort
View
BMCBI
2007
135views more  BMCBI 2007»
15 years 4 months ago
LIMPIC: a computational method for the separation of protein MALDI-TOF-MS signals from noise
Background: Mass spectrometry protein profiling is a promising tool for biomarker discovery in clinical proteomics. However, the development of a reliable approach for the separat...
Dante Mantini, Francesca Petrucci, Damiana Pierago...
GI
2010
Springer
15 years 2 months ago
Finite System Composition and Interaction
: In this article, it is proven for finite systems that if by reciprocal interaction, one finite system determines the action of another finite system, then both systems become sub...
Johannes Reich
ICAC
2007
IEEE
15 years 10 months ago
Model-Driven Autonomic Architecture
We present a generic architecture for developing fullyfledged autonomic systems out of non-autonomic components, and investigate how the architecture can be implemented using exi...
Radu Calinescu
GI
2005
Springer
15 years 9 months ago
On the Coverage of Proactive Security: An Addition to the Taxonomy of Faults
: Intrusion tolerance is a recent approach to deal with intentional and malicious failures. It combines the research on fault tolerance with the research on security, and relies on...
Timo Warns
APIN
1998
98views more  APIN 1998»
15 years 3 months ago
The Evolution of Concurrent Programs
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
Brian J. Ross