433 search results - page 78 / 87 » Contracts: From Analysis to C Implementation |
CCS
2001
ACM
15 years 2 months ago
2001
ACM
Authenticating mobile computing users can require a significant amount of processing and communications resources— particularly when protocols based on public key encryption are...
SIGCOMM
2000
ACM
15 years 2 months ago
2000
ACM
This paper examines the latency in Internet path failure, failover and repair due to the convergence properties of interdomain routing. Unlike switches in the public telephony net...
BMCBI
2008
14 years 9 months ago
2008
Background: Protein domains are the structural and functional units of proteins. The ability to parse proteins into different domains is important for effective classification, un...
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
To aid software analysis and maintenance tasks, a number of software clustering algorithms have been proposed to automatically partition a software system into meaningful subsyste...
TREC
2003
14 years 11 months ago
2003
The Tarragon Consulting team participated in the primary task of the TREC 2003 Genomics Track. We used a combination of knowledge-engineering and corpus analysis to construct sema...