developing reliable yet flexible software is a hard problem. although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. formal modeling methods ensure reliability because they use a rigorous approach to software development. however, lack of knowledge and high cost practically fo...

Abstract We provide foundations for a characteristic free study of foliated varieties in terms infinitesimal actions formal groupoids. The ultimate goal is the bi-rational geometry same, and to this end we prove cone theorem foliations curves, together with structure theorems extremal rays, and, course, minimal model surfaces. All possible wild ramification effects Deligne–Mumford champ are bui...

In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...

Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are, we believe, representative of industrial-grade projects and span a variety of application do...