3130 search results - page 337 / 626 » Design Correctness of Digital Systems |
179
click to vote
ICDCS
2006
IEEE
16 years 23 days ago
2006
IEEE
Byzantine quorum systems have been proposed that work properly even when up to f replicas fail arbitrarily. However, these systems are not so successful when confronted with Byzan...
174
click to vote
COMCOM
2010
15 years 6 months ago
2010
Vehicular communication systems are an emerging form of communication that enables new ways of cooperation among vehicles, traffic operators, and service providers. However, many ...
177
click to vote
BMCBI
2005
2005
MicroGen: a MIAME compliant web system for microarray experiment information and workflow management
15 years 6 months ago
Background: Improvements of bio-nano-technologies and biomolecular techniques have led to increasing production of high-throughput experimental data. Spotted cDNA microarray is on...
179
click to vote
SAC
2004
ACM
16 years 4 days ago
2004
ACM
The amount of data handled by real-time and embedded applications is increasing. Also, applications normally have constraints with respect to freshness and timeliness of the data ...
167
click to vote
KR
2004
Springer
16 years 2 days ago
2004
Springer
The Halo Pilot, a six-month effort to evaluate the state-ofthe-art in applied Knowledge Representation and Reasoning (KRR) systems, collaboratively developed a taxonomy of failure...