1128 search results - page 182 / 226 » Little Engines of Proof |
103
Voted
EUROSYS
2010
ACM
15 years 5 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...
132
Voted
KR
2010
Springer
15 years 5 months ago
2010
Springer
In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behavi...
100
click to vote
CISIS
2009
IEEE
15 years 5 months ago
2009
IEEE
—In this paper, we show that Web protocols and technologies are good candidates to design the Internet of Things, through a user-centric architecture (the user simply has to use ...
120
click to vote
PKDD
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper focuses on Active Learning with a limited number of queries; in application domains such as Numerical Engineering, the size of the training set might be limite...
133
click to vote
SP
2000
IEEE
15 years 5 months ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...