12774 search results - page 2513 / 2555 » A Framework for Proof Systems |
138
click to vote
ACMIDC
2010
15 years 5 months ago
2010
The purpose of our research is to support cognitive, motor, and emotional development of severely disabled children in the school context. We designed and implemented a set of nov...
121
click to vote
SP
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
163
click to vote
ICCS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
104
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Distributed Constraint Satisfaction Problems (DCSPs) provide a model to capture a broad range of cooperative multiagent problem solving settings. Researchers have generally propos...
129
click to vote
CLUSTER
2004
IEEE
15 years 5 months ago
2004
IEEE
Fault tolerance is a very important concern for critical high performance applications using the MPI library. Several protocols provide automatic and transparent fault detection a...