Ditapis dengan
Formal Approaches to Software Testing
Symbolic Test Generation -- Test Generation Based on Symbolic Specifications -- Symbolic Test Case Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing Non-functional Properties -- Testing of Symbolic-Probabilistic Systems -- A Test Generation Framework for quiescent Real-Time Systems -- Online Testing of Real-time Systems Using Uppaal -- …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318484
- Deskripsi Fisik
- X, 228 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Formal Approaches to Agent-Based Systems
Ecology Based Decentralized Agent Management System -- Ecology Based Decentralized Agent Management System -- From Abstract to Concrete Norms in Agent Institutions -- Meeting the Deadline: Why, When and How -- Multi-agent Systems Reliability, Fuzziness, and Deterrence -- Formalism Challenges of the Cougaar Model Driven Architecture -- Facilitating the Specification Capture and Transformation Pr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540309604
- Deskripsi Fisik
- VIII, 291 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
FM 2005: Formal Methods
Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing: Hypotheses, and Correctness Approximations -- The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions -- Object Orientation -- Modular Verification of Static Class Invariants -- Decoupling in Object Orientation -- Controlling Object Allocation Using Cre…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540317142
- Deskripsi Fisik
- XIV, 558 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Financial Cryptography and Data Security
Threat and Attacks -- Fraud Within Asymmetric Multi-hop Cellular Networks -- Protecting Secret Data from Insider Attacks -- Countering Identity Theft Through Digital Uniqueness, Location Cross-Checking, and Funneling -- Invited Speaker -- Trust and Swindling on the Internet -- Digital Signing Methods -- Identity-Based Partial Message Recovery Signatures (or How to Shorten ID-Based Signatures) -…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316800
- Deskripsi Fisik
- XII, 376 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Fast Software Encryption
New Designs -- A New MAC Construction ALRED and a Specific Instance ALPHA-MAC -- New Applications of T-Functions in Block Ciphers and Hash Functions -- The Poly1305-AES Message-Authentication Code -- Stream Ciphers I -- Narrow T-Functions -- A New Class of Single Cycle T-Functions -- F-FCSR: Design of a New Class of Stream Ciphers -- Boolean Functions -- Cryptographically Significant Boolean Fu…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316695
- Deskripsi Fisik
- XI, 443 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Extreme Programming and Agile Processes in Software Engineering
Experience Reports -- Lean Software Management Case Study: Timberline Inc. -- XP South of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software Project at the Israeli Air Force -- The Agile Journey -- New Insights -- From User Stories to Code in One Day? -- Evaluate XP Effectiveness Using Simulation Modeling -- Agile Security Using an Incrementa…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540314875
- Deskripsi Fisik
- XIV, 338 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Experimental and Efficient Algorithms
Invited Talks -- T? ??? ?í ? ??í?? ? The Interaction Between Algorithms and Game Theory -- Using an Adaptive Memory Strategy to Improve a Multistart Heuristic for Sequencing by Hybridization -- High-Performance Algorithm Engineering for Large-Scale Graph Problems and Computational Biology -- Contributed Regular Papers -- The “Real” Approximation Factor of the MST Heuristic for the Minimum…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320784
- Deskripsi Fisik
- XVI, 628 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logical Data Modeling
Getting Started -- The Art Gallery Web: A Data Modeling Example -- Building the Data Map -- The Art Gallery Web (Continued) -- Keys and Valid Associations -- The Art Gallery Web (Continued) -- Defining Attributes -- The Art Gallery Web (Continued) -- Verifying the Data Model -- Validating the Data Model -- Design Patterns -- From Logical to Physical -- The End and the Beginning.LOGICAL DATA MOD…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387229621
- Deskripsi Fisik
- XII, 228 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Local Pattern Detection
Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues in Rule Learning Algorithms -- Pattern Discovery Tools for Detecting Cheating in Student Coursework -- Local Pattern Detection and Clustering -- Local Patterns: Theory and Practice of Constraint-Based Relational Subgroup Discovery -- Visualizing Very Large Graphs Using Clustering Neighborhoods -- Fe…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540318941
- Deskripsi Fisik
- XI, 233 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
List Decoding of Error-Correcting Codes
1 Introduction -- 1 Introduction -- 2 Preliminaries and Monograph Structure -- I Combinatorial Bounds -- 3 Johnson-Type Bounds and Applications to List Decoding -- 4 Limits to List Decodability -- 5 List Decodability Vs. Rate -- II Code Constructions and Algorithms -- 6 Reed-Solomon and Algebraic-Geometric Codes -- 7 A Unified Framework for List Decoding of Algebraic Codes -- 8 List Decoding of…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540301806
- Deskripsi Fisik
- XX, 352 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