This paper extends the Changeling methodology, which ensures safety of concurrent and distributed software, to provide responsiveness properties. Changeling employs formal methods to generate executable assertions which ensure that the physical state, in the actual run time environment, is consistent with the logical state specified in the assertion. The focus, here, is on the generation of exe...

Privacy-respecting reputation systems have been constructed based on anonymous payment systems to implement raters' anonymity for privacy-respecting reputation systems. To the best of our knowledge, all these systems suffer from the problem having a " final state " , that is a system state in which users have no incentive any longer to behave honestly , because they reached a maximum reputation...

Accurately and efficiently depicting the liveliness of eyes is not an easy task in animation. In this paper, we propose a method that utilizes eye tracking and motion capture technologies to animate 3D eyes. We measure it based on accuracy, efficiency, and user satisfaction. CR Categories: I.3.7 [Computer Graphics]: Three-Dimensional Graphics and Realism—Animation;

the problem which has been the focus of city constructors and architectures since the beginning of citizenship life is the issue of the nature of environmental quality. this study, with a review of explaining paradigms of environmental quality and by reliance on basic works, has assumed the question of nature of environmental quality an interdisciplinary concept (civic construction, sociology, ...

Although the sport of lacrosse has evolved dramatically over the last few decades and is presently the fastest growing team sport in the United States, the current specifications for balls date back to 1943. The purpose of this study was to see if various commercially available field lacrosse balls meet these specifications and to determine additional mechanical properties of the ball that may ...

Mappings between schemas are key elements in several contexts such as data exchange, data integration, peer data management systems, etc. In all these contexts, the process of designing a mapping requires the participation of a mapping designer that needs a way to validate the mapping being defined, i.e., to check whether the mapping is in fact what the designer intended. However, to date very ...