1054 search results - page 42 / 211 » A Logic Language of Granular Computing |
OSDI
2006
ACM
14 years 8 months ago
2006
ACM
We present the design, implementation, and evaluation of a fully distributed directory service for Farsite, a logically centralized file system that is physically implemented on a...
RSCTC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, we discuss approximation spaces in a granular computing framework. Such approximation spaces generalise the approaches to concept approximation existing in...
WOLLIC
2009
Springer
14 years 2 months ago
2009
Springer
After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distrib...
CCS
2011
ACM
12 years 8 months ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
DSS
2002
13 years 7 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...