8025 search results - page 1125 / 1605 » Combinators Introduction: An Algorithm |
194
click to vote
VMCAI
2004
Springer
16 years 15 days ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
237
click to vote
IV
2003
IEEE
16 years 12 days ago
2003
IEEE
An alternative term for these diagrams is “Euler-Venn diagrams” but they are often inaccurately called “Venn diagrams”. Venn diagrams often look similar, but must contain a...
230
click to vote
MOBICOM
2003
ACM
16 years 12 days ago
2003
ACM
Reducing the energy consumption by wireless communication devices is perhaps the most important issue in the widely-deployed and exponentially-growing IEEE 802.11 Wireless LANs (W...
171
click to vote
ATAL
2003
Springer
16 years 11 days 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...
177
click to vote
ATAL
2003
Springer
16 years 11 days ago
2003
Springer
In a large distributed system it is often infeasible or even impossible to perform diagnosis using a single model of the whole system. Instead, several spatially distributed local...