7080 search results - page 1340 / 1416 » Designing High Integrity Systems Using Aspects |
132
click to vote
BMCBI
2008
15 years 4 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...
174
click to vote
WWW
2011
ACM
14 years 10 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...
147
click to vote
PLPV
2009
ACM
16 years 29 days 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...
141
click to vote
IDTRUST
2009
ACM
15 years 11 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...
152
click to vote
PODC
2003
ACM
15 years 9 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...