12774 search results - page 344 / 2555 » A Framework for Proof Systems |
178
click to vote
ICARIS
2005
Springer
16 years 10 days ago
2005
Springer
Innate immunity now occupies a central role in immunology. However, artificial immune system models have largely been inspired by adaptive not innate immunity. This paper reviews ...
196
click to vote
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...
191
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a dynamic optimization technique, thread warping, that uses a single processor on a multiprocessor system to dynamically synthesize threads into custom accelerator circ...
176
click to vote
WOWMOM
2005
ACM
16 years 11 days ago
2005
ACM
To be able to utilize the generative potential of future networks for service composition, the attributes of services and networks must be appropriately formalized, stored and mad...
192
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Microarray analysis allows the simultaneous measurement of thousands to millions of genes or sequences across tens to thousands of different samples. The analysis of t...