This paper is devoted to construction of fuzzy preference relations and to showing how this construction is connected with Lukasiewicz filters and TL-evaluators. We will study al...
Abstract. Given a set of observations of an existing concurrent system with repetitive sub-functions, we consider the construction of an MSC graph representing the functionality of...
This paper investigates the concept of digital city. First, a functional analysis of a digital city is made in the light of the modern study of urbanism; similarities between the v...
Victor V. Kryssanov, Masayuki Okabe, Koh Kakusho, ...
This paper explores logical properties of belief-revision-based bargaining solution. We first present a syntax-independent construction of bargaining solution based on prioritized ...
We revisit the problem of constructing efficient secure two-party protocols for the problems of setintersection and set-union, focusing on the model of malicious parties. Our main...