الصفحة 12
الصفحة 12
Advances in intelligent computing ; Vol. 3645 ; International conference on intelligent computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II
This book constitutes the proceedings of the International Conference on Intelligent Computing (ICIC 2005), held in China, 215 papers were published in this book organized into 9 categories, Including Topics Artificial Intelligence Computation by Abstract Devices Algorithm Analysis and Problem Complexity Image Processing and Computer Vision Pattern Recognition Evolutionary Biology
Advances in Information and Computer Security ; 1st International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006, Proceedings
this year in Kyoto and to publish the proceedings as a volume of the Lecture Notes in Computer Science series. The workshop was our ?rst trial in that two major academic society groups on security in Japan, viz. ISEC and CSEC, jointly organized it; ISEC is a te- nical group on information security of the Institute of Electronics, Information and Communication Engineers (IEICE), and CSEC is a special interest group on computer security of the Information Processing Society of Japan (IPSJ). It was Ryoichi Sasaki, the former head of CSEC, who proposed holding such an international workshop in Japan for the ?rst time, two years ago. The two groups supported his idea and started organizing the workshop. CSEC has its annual domestic symposium, the Computer Security Symposium (CSS), in - tober for three days, and we decided to organize the workshop prior to CSS this year.
Advances in cryptology - EUROCRYPT 2007 ; 26th Annual international conference on the theory and applications of cryptographic techniques, Barcelona, Spain, May 20-24, 2007, Proceedings
Address all current foundational, theoretical and research aspects of cryptology, cryptography, and cryptanalysis as well as advanced applications.
Advances in cryptology - CRYPTO -87 ; Conference on the theory and applications of cryptographic techniques : Proceedings
Zero-knowledge interactive proofsystems are a new technique which can be used as a cryptographic tool for designing provably secure protocols. Goldwasser, Micali, and Rackoff originally suggested this technique for controlling the knowledge released in an interactive proof of membership in a language, and for classification of languages. In this approach, knowledge is defined in terms of complexity to convey knowledge if it gives a computational advantage to the receiver, theory, and a message is said for example by giving him the result of an intractable computation. The formal model of interacting machines is described in. A proof-system (for a language L) is an interactive protocol by which one user, the prover, attempts to convince another user, the verifier, that a given input x is in L. We assume that the verifier is a probabilistic machine which is limited to expected polynomial-time computation, while the prover is an unlimited probabilistic machine.
Advances in computer systems architecture ; Vol. 3740 ; 10th Asia-Pacific conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings
The papers are organized in topical sections on energy efficient and power aware techniques, methodologies and architectures for application-specific systems, processor architectures and microarchitectures, high-reliability and fault-tolerant architectures, compiler and OS for emerging architectures, data value predictions, reconfigurable computing systems and polymorphic architectures, interconnect networks and network interfaces, parallel architectures and computation models, hardware-software partitioning, verification, and testing of complex architectures, architectures for secured computing, simulation and performance evaluation, architectures for emerging technologies and applications, and memory systems hierarchy and management
Advances in computer science - ASIAN 2006. Secure software and related issues ; 11th Asian computing science conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
Cover theory, practice, applications, and experiences related to secure software.
Advances in computer science – ASIAN 2007. Computer and network security ; 12th Asian computing science conference, Doha, Qatar, December 9-11, 2007, Proceedings
Covering all current aspects of computer and network security, the papers are organized in topical sections on program security, computer security, access control, protocols, intrusion detection, network security, and safe execution.
Advances in Biometrics: Sensors, Algorithms and Systems
This book presents a comprehensive treatment of biometrics and offers coverage of the entire gamut of topics in the field, including data acquisition, pattern-matching algorithms, and issues that impact at the system level, such as standards, security, networks, and databases.
Advances in biometric person authentication ; 5th Chinese conference on biometric recognition, SINOBIOMETRICS 2004, Guangzhou, China, December 13-14, 2004, Proceedings
Aimed at promoting the international exchange of ideas and providing an opportunity for keeping abreast of the latest developments in biometric algorithms, systems, and applications. The 1st Biometrics Verification Competition (BVC) on face, iris, and fingerprint recognition was also conducted in conjunction with the conference. This book is composed of 74 papers presented at Sinobiometrics 2004,
Advances in bioinformatics and computational biology ; 1st Brazilian symposium on bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005, Proceedings
This book constitutes the refereed proceedings of the Brazilian Symposium on Bioinformatics, BSB 2005, The 15 revised full papers and 10 revised extended abstracts presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address a broad range of current topics in computational biology and bioinformatics.
Advances in Applied Self-organizing Systems
This book presents the state-of-the-practice in successfully engineered self-organizing systems, and examines ways to balance design and self organization in the context of applications.
Advanced studies in biometrics : Summer School on biometrics, Alghero, Italy, June 2-6, 2003. Revised Selected Lectures and Papers
This book originates from an international summer school on biometrics, held in Alghero, Italy, in June 2003. The seven revised tutorial lectures by leading researchers introduce the reader to biometrics-based person authentication, fingerprint recognition, gait recognition, various aspects of face recognition and face detection, topologies for biometric recognition, and hand detection. Also included are the four best selected student papers, all dealing with face recognition.
Advanced Software Engineering : Expanding the Frontiers of Software Technology ; IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Advanced encryption standard - AES ; 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers
This volume comprises the proceedings of the 4th Conference on Advanced En-cryption Standard, ‘AES — State of the Crypto Analysis,’ which was held inBonn, Germany, 2004.The conference followed a series of events organized by the US National In-stitute of Standards and Technology (NIST) in order to hold an internationalcompetition to decide on an algorithm to serve as the Advanced EncryptionStandard (AES). In 1998, at the first AES conference (AES 1), 15 different algo-rithms were presented, discussed, reviewed and verified. After a further conferencedevoted to verification, testing and examination of the candidate algorithms inorder to prove their performance and security, one winning algorithm remained.The encryption scheme Rijndael, designed by the Belgian cryptographers JoanDaemen and Vincent Rijmen, was selected in 2000 to become the successor tothe famous DES (Data Encryption Standard) and it is now the Advanced En-cryption Standard.
Abstract State Machines, B and Z ; 1st International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008.
A Practical Guide for SystemVerilog Assertions
SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide shows how to use the language to solve real verification problems. It examines how to verify complex protocols and memories using SVA with seeral examples.
A journey of embedded and cyber-physical systems : Essays dedicated to Peter Marwedel on the occasion of his 70th birthday
This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday.
A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.
3D Imaging for Safety and Security
This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention was given to advanced 3D imaging technologies in the context of safety and security applications. Comparative evaluation studies showing advantages of 3D imaging over traditional 2D imaging for a given computer vision or pattern recognition task were emphasized. Moreover, additional experts in the field of 3D imaging for safety and security were invited by the editors for a contribution to this book.
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
