Expressiveness of verifiable hierarchical clock systems
نویسندگان
چکیده
منابع مشابه
Expressiveness of verifiable hierarchical clock systems
The modelling and analysis of multi-component discrete event systems is a challenging research area. Over 30 years, modelling and simulation research of discrete event system specification (DEVS) has been developed with (1) dense-time, (2) the I/O concept, and (3) hierarchical model construction. Nevertheless, DEVS model verification research began relatively recently considering the whole DEVS...
متن کاملDynamic and Verifiable Hierarchical Secret Sharing
In this work we provide a framework for dynamic secret sharing and present the first dynamic and verifiable hierarchical secret sharing scheme based on Birkhoff interpolation. Since the scheme is dynamic it allows, without reconstructing the message distributed, to add and remove shareholders, to renew shares, and to modify the conditions for accessing the message. Furthermore, each shareholder...
متن کاملVerifiable Voting Systems
The introduction of technology into voting systems can bring a number of benefits, such as improving accessibility, remote voting and efficient, accurate processing of votes. A voting system which uses electronic technology in any part of processing the votes, from vote capture and transfer through to vote tallying, is known as an ‘e-voting’ system. In addition to the undoubted benefits, the in...
متن کاملProgramming Verifiable Heterogeneous Agent Systems
Our overall aim is to provide a verification framework for practical multi-agent systems. To achieve practicality, we must be able to describe and implement heterogeneous multi-agent systems. To achieve verifiability, we must define semantics appropriately for use in formal verification. Thus, in this paper, we tackle the problem of implementing heterogeneous multi-agent systems in a semantical...
متن کاملExpressiveness and Complexity of Formal Systems
Formalization has a central role in computer science. Communication between man and computers as well as information processing within computer systems require that concepts and objects of the application domain are formally represented through some artificial language. In the last fifty years, the development of formal models has concerned practically all aspects of human life, from computing ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of General Systems
سال: 2008
ISSN: 0308-1079,1563-5104
DOI: 10.1080/03081070701794876