4957 search results - page 447 / 992 » Simplifying Distributed System Development |
211
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
181
click to vote
ISORC
2006
IEEE
16 years 26 days ago
2006
IEEE
To communicate between heterogeneous computer systems, mechanisms for data conversion are necessary. In this paper we present a portable, asymmetric data conversion method that is...
182
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
This paper describes the THOMAS framework, a useful framework for the development of virtual organizations, on the basis of a service-based approach. Categories and Subject Descri...
187
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
In [1], systems of weakening of intuitionistic negation logic called Zn and CZn were developed in the spirit of da Costa’s approach(c.f. [2]) by preserving, differently from da C...
171
click to vote
EUROPAR
2003
Springer
16 years 2 days ago
2003
Springer
The advent of high-performance networks in conjunction with low-cost, powerful computational engines has made possible the development of a new set of technologies termed computat...