this paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. the logic is based on the branching temporal logic C...
详细信息
Recently, several significant advances have been made in two distinct theoretical areas. these theoretical advances have created an innovative field of theoretical and applied interest: fuzzy neural systems. Researche...
详细信息
In this paper we address the problem of commitment schemes where the sender is bounded to polynomial time and the receiver may be all powerful. We present a scheme for committing to a (possibly long) string. Our schem...
详细信息
ISBN:
(纸本)3540602216
In this paper we address the problem of commitment schemes where the sender is bounded to polynomial time and the receiver may be all powerful. We present a scheme for committing to a (possibly long) string. Our scheme is efficient in the following three ways: ROUND EFFICIENCY: Each part of the scheme consists of a single round. LOW COMMUNICATION: the number of bits required for the commitment equals the security parameter of the system, regardless of the length of the string which is being committed to. FAST IMPLEMENTATION: the time taken to commit to a string is linear in the length of the string and almost linear in the security parameter of the system.
the proceedings contain 40 papers. the special focus in this conference is on advances in Cryptology. the topics include: Efficient signature schemes based on birational permutations;a new identification scheme based ...
ISBN:
(纸本)9783540580430
the proceedings contain 40 papers. the special focus in this conference is on advances in Cryptology. the topics include: Efficient signature schemes based on birational permutations;a new identification scheme based on syndrome decoding;the shrinking generator;stream ciphers and cryptographic functions;an integrity check value algorithm for stream ciphers;nonlinearly balanced boolean functions and their propagation characteristics;proof systems and zero-knowledge;a low communication competitive interactive proof system for promised quadratic residuosity;secret sharing and perfect zero-knowledge;one message proof systems with known space verifiers;interactive hashing can simplify zero-knowledge protocol design without computational assumptions;secret sharing;fully dynamic secret sharing schemes;multisecret threshold schemes;secret sharing made short;number theory and algorithms;a subexponential algorithm for discrete logarithms over all finite fields;an implementation of the general number field sieve;on the factorization of RSA-120;comparison of three modular reduction functions;differential cryptanalysis;differential cryptanalysis of lucifer;differential attack on message authentication codes;cryptanalysis of the CFB mode of the DES with a reduced number of rounds;bart preneel, marniz nuttin, vincent rajmen and johan buelens weak keys for IDEA;complexity theory;entity authentication and key distribution;on the existence of statistically hiding bit commitment schemes;joint encryption and message-efficient secure computation;cryptographic primitives based on hard learning problems;extensions of single-term coins;untraceable off-line cash in wallets with observers and on families of hash functions via geometric codes and concatenation.
Recent advances in object technology have given rise to a set of powerful tools that are referred to as application builders. Application builders attempt to raise the level of abstractions in application development ...
详细信息
Information retrieval (IR) systems provide individual remote access to centrally managed data. the current proliferation of personal computer systems, as well as advances in storage and communication technology, have ...
详细信息
this book includes extended and revised selected papers from the 10thinternationalconference on Smart Cities and Green ICT Systems, SMARTGREENS 2021, and 7thinternationalconference on Vehicle technology and Intel...
详细信息
ISBN:
(数字)9783031170980
ISBN:
(纸本)9783031170973
this book includes extended and revised selected papers from the 10thinternationalconference on Smart Cities and Green ICT Systems, SMARTGREENS 2021, and 7thinternationalconference on Vehicle technology and Intelligent Transport Systems, VEHITS 2021, held as virtual event, in April 28–30, 2021. the conference was held virtually due to the COVID-19 crisis.;the 22 full papers included in this book were carefully reviewed and selected from 140 submissions. the papers present research on advances and applications in the fields of smart cities, electric vehicles, sustainable computing and communications, energy aware systems and technologies, intelligent vehicle technologies, intelligent transport systems and infrastructure, connected vehicles.
this book presents selected papers from the 19thinternationalconference on Intelligent Information Hiding and Multimedia Signal Processing, in conjunction withthe 11thinternationalconference on Orange technology,...
详细信息
ISBN:
(数字)9789819787647
ISBN:
(纸本)9789819787630;9789819787661
this book presents selected papers from the 19thinternationalconference on Intelligent Information Hiding and Multimedia Signal Processing, in conjunction withthe 11thinternationalconference on Orange technology, Applications, and Tools, held on December 5–7, 2023, in Daegu, South Korea. It is divided into two volumes and discusses latest research outcomes in the field of information technology (IT) including but not limited to information hiding, multimedia signal processing, big data, data mining, bioinformatics, database, industrial and internet of things, and their applications.
the 16thinternationalconference on Multimedia Modeling (MMM2010) was held in the famous mountain city Chongqing, China, January 6–8, 2010, and hosted by Southwest University. MMM is a leading international conferen...
详细信息
ISBN:
(数字)9783642113017
ISBN:
(纸本)9783642113000
the 16thinternationalconference on Multimedia Modeling (MMM2010) was held in the famous mountain city Chongqing, China, January 6–8, 2010, and hosted by Southwest University. MMM is a leading internationalconference for researchersand industry practitioners to share their new ideas, original research results and practicaldevelopment experiences from all multimedia related areas. MMM2010attractedmorethan160regular,specialsession,anddemosession submissions from 21 countries/regions around the world. All submitted papers were reviewed by at least two PC members or external reviewers, and most of them were reviewed by three reviewers. the review process was very selective. From the total of 133 submissions to the main track, 43 (32. 3%) were accepted as regular papers, 22 (16. 5%) as short papers. In all, 15 papers were received for three special sessions, which is by invitation only, and 14 submissions were received for a demo session, with 9 being selected. Authors of accepted papers come from 16 countries/regions. this volume of the proceedings contains the abstracts of three invited talks and all the regular, short, special session and demo papers. the regular papers were categorized into nine sections: 3D mod- ing;advancedvideocodingandadaptation;face,gestureandapplications;image processing;imageretrieval;learningsemanticconcepts;mediaanalysisandm- eling; semantic video concepts; and tracking and motion analysis. three special sessions were video analysis and event recognition, cross-X multimedia mining in large scale, and mobile computing and applications. the technical programfeatured three invited talks, paralleloral presentation of all the accepted regular and special session papers, and poster sessions for short and demo papers.
this book presents the combined proceedings of the 11thinternationalconference on computerscience and its Applications (CSA 2019) and the 14th KIPS internationalconference on Ubiquitous Information Technologies an...
详细信息
ISBN:
(数字)9789811593437
ISBN:
(纸本)9789811593420;9789811593451
this book presents the combined proceedings of the 11thinternationalconference on computerscience and its Applications (CSA 2019) and the 14th KIPS internationalconference on Ubiquitous Information Technologies and Applications (CUTE 2019), both held in Macau, China, December 18–20, 2019.;the aim of these two meetings was to promote discussion and interaction among academics, researchers and professionals in the field of ubiquitous computing technologies.;these proceedings reflect the state of the art in the development of computational methods, involving theory, algorithms, numerical simulation, error and uncertainty analysis and novel applications of new processing techniques in engineering, science and other disciplines related to ubiquitous computing.
暂无评论