Ditapis dengan
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence …
Information Technology Security -- How can we justify trust in software based systems? -- The capacity of ciphers fulfilling the accessibility of cryptograms -- Parallelization of the Data Encryption Standard (DES) algorithm -- Linked authenticated dictionaries for certificate status verification -- Integrated Payment System for Public Key Infrastructure Services -- Some methods of the analysis…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387234847
- Deskripsi Fisik
- XII, 396 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Engineering Societies in the Agents World V
Roles, Organizations and Institutions for Agents -- Organizations as Socially Constructed Agents in the Agent Oriented Paradigm -- Virtual Enterprise Normative Framework Within Electronic Institutions -- Virtual Knowledge Communities for Corporate Knowledge Issues -- Achieving Competence by Argumentation on Rules for Roles -- Participation Components for Holding Roles in Multiagent Systems Prot…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318873
- Deskripsi Fisik
- XIV, 354 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Architecture Description Languages
Tutorial -- An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering -- Models and Analysis -- Deploying QoS Contracts in the Architectural Level -- Hierarchical Composition and Abstraction in Architecture Models -- Pattern-Based Analysis of an Embedded Real-Time System Architecture -- An ADL Centric…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387245904
- Deskripsi Fisik
- X, 212 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Designing and Evaluating E-Management Decision Tools
Decision Modeling Paradigms -- Visual Interactive Decision Modeling -- Online Preference Elicitation -- Collaborative Decision Making -- Negotiation and Conflict Resolution -- Marketing Decision Optimization -- Guidelines for Designing and Evaluating Decision Tools.The integration of analytic models into information systems provides the basis for developing intelligent decision support systems …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387231754
- Deskripsi Fisik
- XVI, 254 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Coordination Models and Languages
A Case Study of Web Services Orchestration -- A Correct Abstract Machine for Safe Ambients -- A Process Calculus for QoS-Aware Applications -- Abstract Interpretation-Based Verification of Non-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination with Multicapabilities -- Delegation Modeling with Paradigm -- Dynamically Adapting Tuple Replication for Ma…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320067
- Deskripsi Fisik
- X, 299 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Systematic Modeling and Analysis of Telecom Frontends and their Building Blocks
Foreword -- Contributing Authors -- Contents -- Symbols and Abbreviations -- 1. Introduction -- 2. Modeling and analysis of telecom frontends: basic concepts -- 3. A framework for frequency-domain analysis of linear periodically timevarying Systems -- 4. Applications of LPTV system analysis using harmonic transfer matrices -- 5. Modeling oscillator dynamic behavior -- 6. Conclusions -- A. HTM n…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781402031748
- Deskripsi Fisik
- XX, 230 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Speech Separation by Humans and Machines
Speech Segregation: Problems and Perspectives -- Auditory Scene Analysis -- Speech separation -- Recurrent Timing Nets for F0-based Speaker Separation -- Blind Source Separation Using Graphical Models -- Speech Recognizer Based Maximum Likelihood Beamforming -- Exploiting Redundancy to Construct Listening Systems -- Automatic Speech Processing by Inference in Generative Models -- Signal Separat…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387227948
- Deskripsi Fisik
- XXIV, 319 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Model-Based Testing of Reactive Systems
Testing of Finite State Machines -- I. Testing of Finite State Machines -- 1 Homing and Synchronizing Sequences -- 2 State Identification -- 3 State Verification -- 4 Conformance Testing -- II. Testing of Labeled Transition Systems -- Testing of Labeled Transition Systems -- 5 Preorder Relations -- 6 Test Generation Algorithms Based on Preorder Relations -- 7 I/O-automata Based Testing -- 8 Tes…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320371
- Deskripsi Fisik
- VIII, 664 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Mobility Aware Technologies and Applications
Web Agent Supporting Transport Layer Mobility -- A Network-Aware Truncating Module for Scalable Streams Saving Bandwidth for Overused Networks -- APHIDS++: Evolution of A Programmable Hybrid Intrusion Detection System -- Challenges in Modeling and Disseminating Context Information in Ambient Networks -- A Co-designed Hardware/Software Architecture for Augmented Materials -- A Simulation Model f…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320319
- Deskripsi Fisik
- XIV, 418 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Mathematical Foundations of Computer Science 2005
Invited Lectures -- Page Migration in Dynamic Networks -- Knot Theory, Jones Polynomial and Quantum Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing -- The Generalization of Dirac’s Theorem for Hypergraphs -- On the Communication Complexity of Co-linearity Problems -- An Invitation to Play -- Papers -- The Complexity of Satisfiability Problems: Refin…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318675
- Deskripsi Fisik
- XVI, 814 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah