536 search results - page 84 / 108 » A computer verified, monadic, functional implementation of t... |
108
click to vote
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Most of the current trust models in peer-to-peer (P2P) systems are identity based, which means that in order for one peer to trust another, it needs to know the other peer’s ide...
109
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: The regulation of gene expression is complex and occurs at many levels, including transcriptional and post-transcriptional, in metazoans. Transcriptional regulation is...
JCSS
2008
14 years 11 months ago
2008
Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. Detailed simulations can help identify...
CHI
1999
ACM
15 years 4 months ago
1999
ACM
The past decades have seen huge improvements in computer systems but these have proved difficult to translate into comparable improvements in the usability and social integration)...
111
click to vote
ICAC
2008
IEEE
15 years 6 months ago
2008
IEEE
—Large scale production grids are an important case for autonomic computing. They follow a mutualization paradigm: decision-making (human or automatic) is distributed and largely...