Ditapis dengan
Ubiquitous Mobile Information and Collaboration Systems
Invited Talk -- Paper on the Move -- Data and Context Management -- A Natural Language Model for Managing TV-Anytime Information in Mobile Environments -- Updated Data Dissemination in Ad Hoc Networks -- Modelling Context for Information Environments -- Coordination and Control -- Distributed Task Processing Within the Mobile Memory Aid System MEMOS -- Towards an Approach for Coordinating Perso…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540301882
- Deskripsi Fisik
- VIII, 197 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Technologies for E-Services
TES 2004 -- Robust Web Services via Interaction Contracts -- When are Two Web Services Compatible? -- Negotiation Support for Web Service Selection -- From Web Service Composition to Megaprogramming -- Using Process Algebra for Web Services: Early Results and Perspectives -- Flexible Coordination of E-Services -- : A Tool for Automatic Composition of e-Services Based on Logics of Programs -- Dy…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318118
- Deskripsi Fisik
- VIII, 171 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
UbiComp 2005: Ubiquitous Computing
CarpetLAN: A Novel Indoor Wireless(-like) Networking and Positioning System -- u-Texture: Self-Organizable Universal Panels for Creating Smart Surroundings -- Fast and Robust Interface Generation for Ubiquitous Applications -- Analysis of Chewing Sounds for Dietary Monitoring -- Preventing Camera Recording by Designing a Capture-Resistant Environment -- Self-Mapping in 802.11 Location Systems -…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319412
- Deskripsi Fisik
- XVIII, 398 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Web Information Systems Engineering - WISE 2005 Workshops
Workshop on Web Information Systems Quality -- Ontology for the Selection of e-Processes -- Managing Web GIS Quality -- A Reusability Model for Portlets -- Towards Using Simulation for Enhancing Web Information Systems’ Utility -- Adaptive Multimedia Content Delivery in Ubiquitous Environments -- Incorporating the Timeliness Quality Dimension in Internet Query Systems -- SOAP Request Scheduli…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540322870
- Deskripsi Fisik
- XV, 275 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Human Interactive Proofs
CAPTCHAs and Performance Analysis -- Building Segmentation Based Human-Friendly Human Interaction Proofs (HIPs) -- A Highly Legible CAPTCHA That Resists Segmentation Attacks -- Visual CAPTCHA with Handwritten Image Analysis -- Characters or Faces: A User Study on Ease of Use for HIPs -- HIP Architectures -- Collaborative Filtering CAPTCHAs -- CAPTCHA Generation as a Web Service -- Leveraging th…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540321170
- Deskripsi Fisik
- XII, 596 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Testing of Communicating Systems
The Epistemology of Validation and Verification Testing -- Passive Testing – A Constrained Invariant Checking Approach -- Dependence Testing: Extending Data Flow Testing with Control Dependence -- Comparing Bug Finding Tools with Reviews and Tests -- Cross-Language Functional Testing for Middleware -- Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams -- Action Refineme…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540320760
- Deskripsi Fisik
- X, 380 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Intrusion Detection and Correlation
Computer Security and Intrusion Detection -- Alert Correlation -- Alert Collection -- Alert Aggregation and Verification -- High-Level Alert Structures -- Large-Scale Correlation -- Evaluation -- Open Issues -- Conclusions.INTRUSION DETECTION AND CORRELATION: Challenges and Solutions presents intrusion detection systems (IDSs) and addresses the problem of managing and correlating the alerts pro…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387233994
- Deskripsi Fisik
- XIV, 118 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Engineering for Multi-Agent Systems III
Agent Methodologies and Processes -- From Object-Oriented to Agent-Oriented Software Engineering Methodologies -- MASUP: An Agent-Oriented Modeling Process for Information Systems -- Composition of a New Process to Meet Agile Needs Using Method Engineering -- A Generative Approach for Multi-agent System Development -- Requirements Engineering and Software Architectures -- A Social-Driven Design…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318460
- Deskripsi Fisik
- XII, 291 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Logic in Multi-Agent Systems
Foundations -- A Logic for Knowledge, Correctness, and Real Time -- Dynamic Logic for Plan Revision in Intelligent Agents -- Contextual Taxonomies -- From Logic Programs Updates to Action Description Updates -- Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs -- Architectures -- Declarative Agent Control -- Metareasoning for Multi-agent Epistemic Logics -- Graded BDI M…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318576
- Deskripsi Fisik
- XII, 284 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Euro-Par 2005 Parallel Processing
Invited Talks -- Topic 1 – Support Tools and Environments -- Topic 2 – Performance Prediction and Evaluation -- Topic 3 – Scheduling and Load-Balancing -- Topic 4 – Compilers for High Performance -- Topic 5 – Parallel and Distributed Databases, Data Mining and Knowledge Discovery -- Topic 6 – Grid and Cluster Computing: Models, Middleware and Architectures -- Topic 7 – Parallel Co…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540319252
- Deskripsi Fisik
- XXXVI, 1299 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