1137 search results - page 218 / 228 » Disciplined Methods of Software Specification: A Case Study |
CRYPTO
2005
Springer
14 years 2 months ago
2005
Springer
Error correcting codes and matroids have been widely used in the study of ordinary secret sharing schemes. In this paper, we study the connections between codes, matroids, and a s...
BMCBI
2008
13 years 9 months ago
2008
Background: Both microarrays and quantitative real-time PCR are convenient tools for studying the transcriptional levels of genes. The former is preferable for large scale studies...
IPPS
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--In this work, we study the problem of routing packets between undifferentiated sources and sinks in a network modeled by a multigraph. We consider a distributed and local...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
Master Usability Scaling (MUS) is a measurement method for developing a universal usability continuum based on magnitude estimation and master scaling. The universal usability con...
CGO
2008
IEEE
14 years 3 months ago
2008
IEEE
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...