8828 search results - page 1676 / 1766 » Formal methods in practice |
134
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
131
Voted
ICDCS
2010
IEEE
15 years 3 months ago
2010
IEEE
—In this paper, we classify multitolerant systems, i.e., systems that tolerate multiple classes of faults and provide potentially different levels of tolerance to them in terms o...
133
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background-: PedGenie software, introduced in 2006, includes genetic association testing of cases and controls that may be independent or related (nuclear families or extended ped...
133
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Many protein structures determined in high-throughput structural genomics centers, despite their significant novelty and importance, are available only as PDB depositi...
158
click to vote
COMCOM
2010
15 years 3 months ago
2010
In this paper, we consider QoS aware mesh networks that are maintained by multiple operators and they cooperate in the provision of networking services to the mesh clients. In ord...