5376 search results - page 833 / 1076 » Scalable Kernel Systems |
151
click to vote
TACAS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
195
click to vote
IMC
2004
ACM
16 years 2 days ago
2004
ACM
In this paper, we propose a model for representing and predicting distances in large-scale networks by matrix factorization. The model is useful for network distance sensitive app...
159
click to vote
SACMAT
2004
ACM
16 years 2 days ago
2004
ACM
This paper maintains that for an access-control mechanism to support a wide range of policies, it is best to dispense with any built-in semantics for roles in the mechanism itself...
180
click to vote
ADHOCNOW
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The resource limited nature of WSNs require that protocols implemented on these networks be energy-efficient, scalable and distributed. This paper presents an analysis of...
167
click to vote
ATAL
2004
Springer
16 years 1 days ago
2004
Springer
To anticipate and prevent acts of terrorism, Indications and Warnings analysts try to connect clues gleaned from massive quantities of complex data. Multi-agent approaches to supp...