652 search results - page 108 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—Network coding is a method that promises to achieve the min-cut capacity in multicasts. However, pushing towards this gain in throughput comes with two sacrifices. Delay suffer...
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
Auctions are an important means for purchasing material in the era of e-commerce. Research on auctions often studies them in isolation. In practice, however, auction agents are pa...
120
click to vote
IMAGING
2003
14 years 11 months ago
2003
Many image formation processes are complex interactions of several sub-processes and the analysis of the resulting images requires often to separate the influence of these sub-pr...
SAT
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
92
Voted
MIR
2004
ACM
15 years 3 months ago
2004
ACM
An increasing amount of heterogeneous information about scientific research is becoming available on-line. This potentially allows users to explore the information from multiple p...