733 search results - page 31 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
114
Voted
IJES
2006
15 years 3 months ago
2006
Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. W...
132
click to vote
AAAI
2006
15 years 5 months ago
2006
Intelligent agents must be able to handle the complexity and uncertainty of the real world. Logical AI has focused mainly on the former, and statistical AI on the latter. Markov l...
123
Voted
GCC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we constructed the Distributed Object Group Framework(DOGF) which is a reconfigurable architecture supporting dynamically adaptation of distributed service...
144
Voted
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
141
Voted
TKDE
2010
14 years 10 months ago
2010
We exploit the spreadsheet metaphor to make deductive problem-solving methods available to the vast population of spreadsheet end users. In particular, we show how the function-bas...