7080 search results - page 1340 / 1416 » Designing High Integrity Systems Using Aspects |
BMCBI
2008
14 years 11 months ago
2008
Background: The local connectivity and global position of a protein in a protein interaction network are known to correlate with some of its functional properties, including its e...
118
click to vote
WWW
2011
ACM
14 years 5 months ago
2011
ACM
This paper presents two-stream processing of audio to index the audio content for Spoken Web search. The first stream indexes the meta-data associated with a particular audio doc...
104
Voted
PLPV
2009
ACM
15 years 8 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
IDTRUST
2009
ACM
15 years 5 months ago
2009
ACM
Mailing lists are a natural technology for supporting messaging in multi-party, cross-domain collaborative tasks. However, whenever sensitive information is exchanged on such list...
102
click to vote
PODC
2003
ACM
15 years 4 months ago
2003
ACM
Applications such as e-commerce payment protocols, electronic contract signing, and certified e-mail delivery require that fair exchange be assured. A fair-exchange protocol allo...