Ditapis dengan
Tools and Algorithms for the Construction and Analysis of Systems
Invited Paper -- Applications of Craig Interpolants in Model Checking -- Regular Model-Checking -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based Iteration of Tree Transducers -- Using Language Inference to Verify Omega-Regular Properties -- Infinite State Systems -- On-the-Fly Reachability and Cycle Detection for Recursive State Machi…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319801
- Deskripsi Fisik
- XVIII, 590 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information and Communications Security
Fair Exchange -- An Evenhanded Certified Email System for Contract Signing -- Efficient ID-Based Optimistic Fair Exchange with Provable Security -- On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol -- Generic, Optimistic, and Efficient Schemes for Fair Certified Email Delivery -- Digital Signatures I -- Cryptanalysis of a Forward Secure Blind Signature Scheme…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320999
- Deskripsi Fisik
- XIV, 498 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Information Security and Privacy
Invited Talk -- All Sail, No Anchor III: Risk Aggregation and Time’s Arrow -- Network Security -- Traversing Middleboxes with the Host Identity Protocol -- An Investigation of Unauthorised Use of Wireless Networks in Adelaide, South Australia -- An Efficient Solution to the ARP Cache Poisoning Problem -- Cryptanalysis -- On Stern’s Attack Against Secret Truncated Linear Congruential Generat…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316848
- Deskripsi Fisik
- XIV, 594 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Web and Wireless Geographical Information Systems
Web GIS -- Web Services Framework for Geo-spatial Services -- Temporal and Spatial Attribute Extraction from Web Documents and Time-Specific Regional Web Search System -- Mobile GIS and LBS -- Broadcasting and Prefetching Schemes for Location Dependent Information Services -- A Geocoding Method for Natural Route Descriptions Using Sidewalk Network Databases -- Location-Based Tour Guide System U…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319641
- Deskripsi Fisik
- XII, 255 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Journal on Data Semantics IV
Generic Relationships in Information Modeling -- EMMA – A Formal Basis for Querying Enhanced Multimedia Meta Objects -- Comparing and Transforming Between Data Models Via an Intermediate Hypergraph Data Model -- iASA: Learning to Annotate the Semantic Web -- A Survey of Schema-Based Matching Approaches -- An Overview and Classification of Adaptive Approaches to Information Extraction -- View…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540314479
- Deskripsi Fisik
- XII, 344 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Intelligent Techniques for Web Personalization
Intelligent Techniques for Web Personalization -- Intelligent Techniques for Web Personalization -- User Modelling -- Modeling Web Navigation: Methods and Challenges -- The Traits of the Personable -- Addressing Users’ Privacy Concerns for Improving Personalization Quality: Towards an Integration of User Studies and Algorithm Evaluation -- Recommender Systems -- Case-Based Recommender Systems…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540316558
- Deskripsi Fisik
- VIII, 328 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Journal on Data Semantics III
Geospatial Semantics: Why, of What, and How? -- Spherical Topological Relations -- GeoPQL: A Geographical Pictorial Query Language That Resolves Ambiguities in Query Interpretation -- A Fuzzy Identity-Based Temporal GIS for the Analysis of Geomorphometry Changes -- Interoperability for GIS Document Management in Environmental Planning -- Semantic Information in Geo-Ontologies: Extraction, Compa…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540315513
- Deskripsi Fisik
- XI, 213 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Web Engineering
Keynotes -- Web Engineering Milieu -- Evaluation and Verification -- Non-functional Requirements / Testing -- Miscellaneous 1 -- Query / Retrieval -- Applications 1 -- Applications 2 -- Applications 3 -- Ontologies / XML -- Semantics / Web Services -- Security -- Miscellaneous 2 -- Design 1 (Adaptation / User-Awareness) -- Design 2 (Model-Based Approaches) -- Design 3 (End-Users / Requirements)…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540314844
- Deskripsi Fisik
- XXII, 633 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
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
- -
Trust Management
Third International Conference on Trust Management -- Foraging for Trust: Exploring Rationality and the Stag Hunt Game -- Trust, Untrust, Distrust and Mistrust – An Exploration of the Dark(er) Side -- Security and Trust in the Italian Legal Digital Signature Framework -- Specifying Legal Risk Scenarios Using the CORAS Threat Modelling Language -- On Deciding to Trust -- Trust Management Surve…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320401
- Deskripsi Fisik
- XII, 428 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