4770 search results - page 173 / 954 » Flexible Type Analysis |
110
click to vote
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
Recently Bowers et al. [1] analyzed triplet logic relationships among 4873 Clusters of Orthologous Groups (COGS) from 67 fully sequenced organisms by calculating how well logic re...
136
click to vote
DSN
2005
IEEE
15 years 10 months ago
2005
IEEE
Designing a distributed fault tolerance algorithm requires careful analysis of both fault models and diagnosis strategies. A system will fail if there are too many active faults, ...
132
click to vote
ISSRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...
138
click to vote
CMS
2006
15 years 6 months ago
2006
Abstract. There are a number of attacker models in the area of anonymous communication. Most of them are either very simplified or pretty abstract - therefore difficult to generali...
143
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...