Intelligent Distributed Computing, Systems and Applications: Proceedings of the 2nd International Symposium on Intelligent Distributed Computing – IDC ... (Studies in Computational Intelligence, 162)

✍ Scribed by Costin Badica (editor), Giuseppe Mangioni (editor), Vincenza Carchiolo (editor), Dumitru Dan Burdescu (editor)

• Publisher: Springer
• Year: 2008
• Tongue: English
• Leaves: 319
• Category: Library

✦ Synopsis

This book represents the peer-reviewed proceedings of the Second International Symposium on Intelligent Distributed Computing – IDC 2008 held in Catania, Italy during September 18-19, 2008. The 35 contributions in this book address many topics related to intelligent and distributed computing, systems and applications, including: adaptivity and learning; agents and multi-agent systems; argumentation; auctions; case-based reasoning; collaborative systems; data structures; distributed algorithms; formal modeling and verification; genetic and immune algorithms; grid computing; information extraction, annotation and integration; network and security protocols; mobile and ubiquitous computing; ontologies and metadata; P2P computing; planning; recommender systems; rules; semantic Web; services and processes; trust and social computing; virtual organizations; wireless networks; XML technologies.

✦ Table of Contents

Title Page
Preface
Organization
Contents
Part I Invited Papers
Intelligent Gossip
Introduction to Gossip
Gossip Lego: Fundamental Bricks
Peer Sampling
Decentralized Aggregation
Load Balancing
Slicing
Topology Maintenance
Towards Intelligent Gossip
Particle Swarm Optimization
Intelligent Heuristics
References
Infrastructure for Ontological Resource Matching in a Virtual Organization
Introduction
Defining Matching
Grant Announcement-Based Matching Example
Matching Request Processing
Synchronous Matching Request Processing
Asynchronous Matching Request Processing
System Building Blocks
Relevance Calculation Engine
GIS Sub-system
Concluding Remarks
References
Architecture and Metaphors for Eternally Adaptive Service Ecosystems
Motivations
A Reference Architecture for Eternally Adaptive Service Ecosystems
Survey and Analysis of Possible Approaches
Metaphors
Space, Time, and Control
Concluding Remarks
References
Part II Regular Papers
An Agent Based Approach to the Selection Dilemma in CBR
Introduction
The Problem
The Past
The Future
Conclusions
References
Modeling Interactions in Agent-Based English Auctions with Matchmaking Capabilities
Introduction
Background
Overview of FSP
Agent Negotiation Model
Matchmakers
FSP Model of Agent Negotiation with Matchmaking
Negotiation Structure
Negotiation Host
Negotiation Server Host
Buyer and Seller Roles
Matchmaker Role
Negotiation System
Conclusions and Future Work
References
Output-Driven XQuery Evaluation
Introduction
Reversed Evaluation
Mathematical Model
Conclusion
References
Approximating All-to-All Broadcast in Wireless Networks
Introduction
Related Work
Models
Approximation Algorithm for All-to-All Broadcast
Proofs
Conclusion
References
Trusting Evaluation by Social Reputation
Introduction
Scenario
Trust Evaluation: Algorithms and Results
Source Centric Metric
Searching for Judges
Related Work
Conclusions
References
Linguistic Extraction for Semantic Annotation
Introduction
Chain of Tools for Extraction and Annotation
PDT Linguistic Tools for Automatic Linguistic Annotation of Texts
The Linguistic Extraction - Learning a Query
Extraction Method
Query Learning Procedure
Conclusion
References
Xord: An Implementation Framework for Efficient XSLT Processing
Introduction
Formal Base
SSXT Algorithm
Simple XSLT Transformations
Simple Streaming XML Transducer
Algorithm
Implementation and Evaluation
Conclusion
References
A Simple Trust model for On-Demand Routing in Mobile Ad-Hoc Networks
Introduction
Background
Routing Protocols
Dependable Routing
Trust Models
The Proposed Model: Simple Trusted AODV
Network Model
Attack Model
Trust Model — Simple Trusted AODV (ST-AODV)
Simulation and Results
Conclusions and Summary
References
A Platform for Collaborative Management of Semantic Grid Metadata
Introduction
Models of the Platform
Content Types
Categories
Sample Application – The D-Grid Ontology
Usability Features
Content Visualization
Search and Navigation Facilities
Creation and Editing of Content
Implementation
Related Work
Summary and Future Work
References
Distributed Approach for Genetic Test Generation in the Field of Digital Electronics
Introduction
General Concept
Implementation
Workflow with Distributed Computing
Genetic Test Generation
Task Partitioning
Task Allocation
Experimental Results
Conclusions
References
A Planning-Based Approach for Enacting World Wide Argument Web
Introduction
WWAW as a Pragmatic Web Component
Extending AIF Ontology with Context
Argumentation Schemes as Protocol
Enacting AIF Ontology as Concept Maps
Formal Model of Argumentation Schemes
Interleaving Planning with Arguing
Implementation Issues
Estimated Impact
Related Work and Conclusions
References
A Distributed Immune Algorithm for Solving Optimization Problems
Introduction
The New Algorithm
Evaluation of the Algorithm
Finding Global Optima of Multimodal Functions
TSP
Conclusion and Further Work
References
Evaluation of Selective Distributed Discovery within Distributed Bio-active Agent Community
Introduction
Bio-Networking and Distributed Discovery
Simulation Model
Types of Relationships in the Overlay Network
Distributed Discovery in the Simulation Model
Simulation Conditions and Evaluation
Results, Analysis and Discussion
Asexual Reproduction in Duplex and Simplex Networks
Sexual Reproduction in Duplex and Simplex Networks
Conclusions and Future Work
References
VPOET: Using a Distributed Collaborative Platform for Semantic Web Applications
Introduction
Distributed Methodology for Semantic Cooperative-Based Web Applications
Designing a Platform Based in Contribution for Semantic Applications Developers
Applying the Architectural Aspects to Real Applications
Using VPOET
Using the HTTP Channel in VPOET
Matching the User Profile and the VPOET Semantic Templates
Conclusions and Future Work
References
Are Many Heads Better Than One—On Combining Information from Multiple Internet Sources
Introduction
System Setup
Common Algorithms
Three Main Algorithms
Game Theory
Auction-Based Approach
Consensus Method
Initial Experimental Results
Concluding Remarks
References
Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework
Motivation
An Overview of the REMM Framework
Real-Time Agents Modeling Language: RT-AML
The Design and Verification Methodology
Modeling Phase
Validation Phase
Translation Phase
Run-Time Phase
The REMM Framework
The GameBot Example
Summary and Conclusion
References
Email Archiving and Discovery as a Service
Introduction
Related Work
Email Archiving and Discovery
Use Cases
Functional EAD Requirements
Non-functional EAD Requirements
Design and Engineering Issues
Ingestion Service
Content Service
Catalog
Design Evaluation
Architecture
Measurements
Conclusion and Outlook
References
Similarity of DTDs Based on Edit Distance and Semantics
Introduction
Related Work
Proposed Algorithm
DTD Tree Construction
Tree Edit Operations
Costs of Inserting and Deleting Trees
Computing Edit Distance
Complexity
Experiments
Conclusion
References
Timer-Based Composition of Fault-Containing Self-stabilizing Protocols
Introduction
Preliminary
The Composition Framework
Specification of the Local Neighborhood Synchronizer
The Framework FC-LNS
Local Neighborhood Synchronizer
Conclusion
References
Calibrating an Embedded Protocol on an Asynchronous System
Introduction
Models
Calibrating the Network
Proof of Correctness
Conclusion
References
Part III Short Papers
On Establishing and Fixing a Parallel Session Attack in a Security Protocol
Introduction
Attacks Against Security Protocols
The Wide-Mouthed Frog Protocol
A Replay Attack on the Wide-Mouthed Frog Protocol
A Multiplicity Attack on the Wide-Mouthed Frog Protocol
Lowe’s Modified Wide-Mouthed Frog Protocol
A New Attack on Lowe’s Modified Protocol
Fixing the Flaw
Conclusion
References
Constructing Security Protocol Specifications for Web Services
Introduction
Security Protocol Specifications
Ontology Model and Semantic Annotations
Related Work
Conclusions and Future Research
References
On the Foundations of Web-Based Registries for Business Rules
Introduction and Motivation
The Registry Entry Information Model
A Business Ruleset Example
Querying the Registry
Conclusion and Future Work
References
Large-Scale Data Dictionaries Based on Hash Tables
Introduction
Related Works
Comparing the Di􀀀erent Approaches
Comparison of Methods
Conclusion
References
Undo in Context-Aware Collaborative Ubiquitous-Computing Environments
Introduction
Undo in Context-Aware UbiComp Environments
Issues with Cooperating Entities
History as a Coordination Artifact
Context-Aware Undo
Active Coordination Artifacts as Carriers of Undo Policies
Conclusion
References
Understanding Distributed Program Behavior Using a Multicast Communication Scheme
Introduction
A Distributed Model of Execution
Collective Logical Time
Collective Work Domains
Concluding Remarks
References
Multi-agent Conflict Resolution with Trust for Ontology Mapping
Introduction
Problem Description
Trust Management for Belief Combination
Fuzzy Voting Model
Related Work
Conclusion
References
Algorithmic Trading on an Artificial Stock Market
Introduction
Related Work
Model Framework of Artificial Market with Algorithmic Trading
Agent Types
Results and Discussion
Conclusions and Further Work
References
Towards a Visual Definition of a Process in a Distributed Environment
Introduction
System Architecture
Workers
Worker Hosts
Execution Contexts
Participant Specification
Application Declaration
Data Fields
Itinerary
Transition Restrictions
XPDL Compiler
Related Work
Concluding Remarks
References
A Multi-agent Recommender System for Supporting Device Adaptivity in E-Commerce
Introduction
The ARSEC Architecture
The Device Agent
The Customer Agent
The Counsellor Agent and the Seller Agent
Experiments and Conclusions
References
Dynamically Computing Reputation of Recommender Agents with Learning Capabilities
Introduction
The EVA Framework
Agent Reputation in an Evolutionary Environment
Experimental Evaluation and Conclusions
References
Topic Map for Medical E-Learning
Introduction
Topic Maps
Building and Populating the Topic Map
Topic Map View
Using the Topic Map for Querying the Medical Imagistic Database
Conclusions
References
Author Index