1405 search results - page 188 / 281 » We Are No Longer A Priesthood |
168
click to vote
DLOG
2003
15 years 7 months ago
2003
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
176
click to vote
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
151
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
In response to high-profile Internet outages, BGP security variants have been proposed to prevent the propagation of bogus routing information. To inform discussions of which vari...
192
click to vote
CSCW
2010
ACM
15 years 6 months ago
2010
ACM
Caring for the elderly is becoming a key challenge for society, given the shortage of trained personnel and the increased age of the population. Innovative approaches are needed t...
174
click to vote
JCB
2008
15 years 6 months ago
2008
Liquid chromatography coupled to mass spectrometry (LC-MS) has become a major tool for the study of biological processes. High-throughput LC-MS experiments are frequently conducte...