413 search results - page 83 / 83 » On the Relation Between ID-Logic and Answer Set Programming |
USENIX
2008
13 years 7 months ago
2008
Code sandboxing is useful for many purposes, but most sandboxing techniques require kernel modifications, do not completely isolate guest code, or incur substantial performance co...
BMCBI
2006
13 years 5 months ago
2006
Background: Benchmarking algorithms in structural bioinformatics often involves the construction of datasets of proteins with given sequence and structural properties. The SCOP da...
MOBICOM
2010
ACM
13 years 5 months ago
2010
ACM
Mobility traces of people and vehicles have been collected and published to assist the design and evaluation of mobile networks, such as large-scale urban sensing networks. Althou...