5592 search results - page 703 / 1119 » On Random Betweenness Constraints |
210
click to vote
KBSE
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
180
click to vote
PVLDB
2010
15 years 6 months ago
2010
We describe an automatic database design tool that exploits correlations between attributes when recommending materialized views (MVs) and indexes. Although there is a substantial...
204
click to vote
RTAS
2010
IEEE
15 years 6 months ago
2010
IEEE
—This article studies the scheduling of critical embedded systems, which consist of a set of communicating periodic tasks with constrained deadlines. Currently, tasks are usually...
258
click to vote
WINET
2010
15 years 6 months ago
2010
Wireless sensor networks are characterised by the distributed nature of their operation and the resource constraints on the nodes. Trust management schemes that are targeted at sen...
219
click to vote
ACL
2010
15 years 5 months ago
2010
Bag-of-words approaches to information retrieval (IR) are effective but assume independence between words. The Hyperspace Analogue to Language (HAL) is a cognitively motivated and...