268 search results - page 51 / 54 » The Truth System: Can a System of Lying Processes Stabilize |
CCS
2009
ACM
14 years 2 months ago
2009
ACM
Open source software is often considered to be secure. One factor in this confidence in the security of open source software lies in leveraging large developer communities to find...
BMCBI
2011
13 years 2 months ago
2011
Background: Phyloinformatic analyses involve large amounts of data and metadata of complex structure. Collecting, processing, analyzing, visualizing and summarizing these data and...
EUROSYS
2010
ACM
14 years 4 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
BC
2004
13 years 7 months ago
2004
It is known that the springlike properties of muscles provide automatic load compensation during weight bearing. How crucial is sensory control of the motor output given these basi...
EUROPKI
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. A substantial number of micropayment schemes in the literature are based on distributing the cost of a digital signature over several successive micropayments (e.g. Paywo...