Ditapis dengan
Global Computing
Symbolic Equivalences for Open Systems -- Specifying and Verifying UML Activity Diagrams Via Graph Transformation -- Mobile UML Statecharts with Localities -- Communities: Concept-Based Querying for Mobile Services -- Towards a Formal Treatment of Secrecy Against Computational Adversaries -- For-LySa: UML for Authentication Analysis -- Performance Analysis of a UML Micro-business Case Study -- …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540317944
- Deskripsi Fisik
- VIII, 376 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Composition
Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition-Oriented Service Discovery -- Ad Hoc Composition of User Tasks in Pervasive Computing Environments -- Improving Composition Support with Lightweight Metadata-Based Extensions of Component Models -- Directory Support for Large-Scale, Automated Service Composition -- Component Controls and Protocols -…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540287490
- Deskripsi Fisik
- X, 202 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Static Analysis
Invited Talks -- Algorithmic Game Semantics and Static Analysis -- From Typed Process Calculi to Source-Based Security -- Contributed Papers -- Widening Operators for Weakly-Relational Numeric Abstractions -- Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra -- Inference of Well-Typings for Logic Programs with Application to Termination Analysis -- Memory Space Conscious Loop…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319719
- Deskripsi Fisik
- X, 374 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Generative Programming and Component Engineering
Invited Talks -- Object-Oriented Reengineering Patterns — An Overview -- abc: The AspectBench Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative Programming Approach to Developing DSL Compilers -- Efficient Code Generation for a Domain Specific Language -- On Domain-Specific Languages Reengineering -- Bossa Nova: Introducing Modularity into the …
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319771
- Deskripsi Fisik
- XII, 452 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Inductive Logic Programming
Research Papers -- An Output-Polynomial Time Algorithm for Mining Frequent Closed Attribute Trees -- Guiding Inference Through Relational Reinforcement Learning -- Converting Semantic Meta-knowledge into Inductive Bias -- Learning Teleoreactive Logic Programs from Problem Solving -- A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inver…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318514
- Deskripsi Fisik
- XIV, 434 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information Processing and Security Systems
Digital Image and Signal Processing -- Fourier Descritpor-Based Deformable Models for Segmentation of the Distal Femur in CT -- Hierarchical Segmentation of Sparse Surface Data Using Energy-Minimization Approach -- Interactive Real-time Image Analysis System for Distant Operation -- Analysis/Synthesis Speech Model Based on the Pitch-Tracking Periodic-Aperiodic Decomposition -- Bio-inspired voic…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387263250
- Deskripsi Fisik
- X, 475 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Detection of Intrusions and Malware, and Vulnerability Assessment
Obfuscated Code Detection -- Analyzing Memory Accesses in Obfuscated x86 Executables -- Hybrid Engine for Polymorphic Shellcode Detection -- Honeypots -- Experiences Using Minos as a Tool for Capturing and Analyzing Novel Worms for Unknown Vulnerabilities -- A Pointillist Approach for Comparing Honeypots -- Vulnerability Assessment and Exploit Analysis -- Automatic Detection of Attacks on Crypt…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316459
- Deskripsi Fisik
- X, 241 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information Networking
Wireless LAN -- Security I -- TCP and Congestion Control -- Wireless Ad Hoc Network Routing -- Network Measurement -- Routing -- Power Control in Wireless Networks -- QoS I -- High Speed Networks -- Wireless Networks I -- QoS II -- Wireless Ad Hoc Networks -- Network Design -- Peer to Peer Networks -- QoS III -- Security II -- Wireless Networks II -- Applications and Services -- Security III --…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540305828
- Deskripsi Fisik
- XVII, 936 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Broadband Satellite Communication Systems and the Challenges of Mobility
Broadband Satellite Multimedia (BSM) Architectures -- Satlabs Group: Leading the DVB-RCS Standard to a Commercial Success -- COST272: Packet-Oriented Service Delivery Via Satellites -- Removing Barriers, Integrating Research, Spreading Excellence: The European Satellite Communications Network of Excellence “SatNEx” -- Integrating Satellite Digital Radio Broadcasting (S-DB), Terrestrial Cell…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387240435
- Deskripsi Fisik
- XVIII, 248 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Testing Commercial-off-the-Shelf Components and Systems
Testing Components Context-Independently -- Testing Polymorphic Behavior of Framework Components -- COTS Component Testing through Built-In Test -- COTS Component Testing through Aspect-Based Metadata -- Automatic Testing of Exception Handling Code -- Basic Concepts and Terms -- Testing Components in the Context of a System -- A Process and Role-Based Taxonomy of Techniques to Make Testable COT…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540270713
- Deskripsi Fisik
- XIV, 410 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