Software and Data Technologies
5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Published on 4. January 2013
XII, 269 pages
978-3-642-29578-2 (ISBN)
Description
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Software and Data Technologies, ICSOFT 2010, held in Athens, Greece, in July 2010.
The 30 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from a total of 410 submissions in two rounds of reviewing and improvement. The papers cover a wide range
of topics and are organized in four general topical sections on healthinf, biodevices, biosignals, and bioinformatics.
More details
Other editions
Additional editions
José Cordeiro | Maria Virvou | Boris Shishkov
Software and Data Technologies
5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Book
01/2013
Springer
€53.49
Shipment within 7-9 days
Content
- Intro
- Title
- Preface
- Organization
- Table of Contents
- Invited Paper
- E-Business and Social Networks: Tapping Dynamic Niche Markets Using Language-Action and Artificial Intelligence
- Exponential Growth of Social Networks and Their Populations
- The Traditional Design Perspective
- Social Network Populations
- Human Connection Networks Are Complex
- Social Network Conversations
- Long Mental Distance
- Weakly Aligned Ads
- The Language-Action Design Perspective
- The Intention Beneath a Conversation
- The Structure of Intentionality
- Clusters of Conversations
- Short Mental Distance
- Strongly Aligned Ads
- The Implications for Software and Data Design
- Software Architecture and Data Architecture
- Software Ontology for Inference and Transaction
- The Crucial Role Historical Data Plays during Inference
- Intelligent Bargaining Agents That Represent Niche Markets
- How Language-Action Design Fits with the Semantic Web
- Direction #1: Semantic-Driven Computation
- Direction #2: Automatic Service Composition
- Direction #3: Ontology-Driven Profiling
- Direction #4: Semantic-Driven Composability
- The Pivotal Role of Intention
- Intention as Homophily
- The Use of Intentions for Collaborative Tagging
- Intention as Product Value
- The Use of Intention for Semantic Mediation
- Summary and Conclusions
- The Language-Action Design Perspective - An Interpretive Framework
- The Mental Distance between Intentions - Measuring Similarity
- Inferring the Intent Underlying Conversations - A New Way to Tag
- Ontologies, Historical Data, Intelligent Agents - Integrated Architecture
- References
- Part I : Software Engineering
- Modelling the Requirements of Rich Internet Applications in WebRe
- Introduction
- Background
- NDT
- WebRE
- Metamodelling Rich Requirements with WeRe+ in NDT
- WebRE+
- A UML Profile for WebRE+
- WebRE+ and Mockups in the Context of NDT
- Test Derivation
- A Case of Study
- Implementation
- Related Works
- Web Requirements Engineering and MDE
- Rich Internet Applications
- Conclusions and Future Works
- References
- A Survey on How Well-Known Open Source Software Projects Are Tested
- Introduction
- OSS Products Survey
- Survey Goals
- Data Collection
- Survey Results
- How to Facilitate the Testing of OSS Products
- Framework Support: TPTP
- AOP-Based Approach for Collecting Dynamic Quality Metrics
- Conclusions
- References
- Systematic Review on Software Product Line Testing
- Introduction
- Systematic Review
- Software Product Line Testing
- Unit Testing
- Integration Testing
- Functional Testing
- SPL Architecture Testing
- Embedded System Testing
- Testing Process
- Testing Effort and Cost
- Testing Product Generation
- Software Testing Research and Software Product Lines
- Conclusions
- References
- A Programming Language That Combines the Benefits of Static and Dynamic Typing
- Introduction
- Static and Dynamic Typing
- Static Typing
- Dynamic Typing
- The StaDyn Hybrid Approach
- The StaDyn Programming Language
- Single Static Assignment
- Static Duck Typing
- From Dynamic to Static Typing
- Constraint-Based Type System
- Assignment Constraints
- Using Both Static and Dynamic References
- Type-Based Alias Analysis
- Implementation
- Runtime Performance
- Related Work
- Conclusions
- References
- Main Principles on the Integration of SOC and MDD Paradigms to Business Processes: A Systematic Review
- Introduction
- Review Procedure
- Research Question, Search String and Sources
- Study Selection and Information Extraction
- Analysis of the Results
- Paradigm Integration
- Trends in Publication
- Notations Used
- Type of Case Study
- Main Principles in Paradigm Integration
- Business Process Modeling
- Service Oriented Modeling
- Model Transformations
- Methodological Approach
- Use of Patterns
- Collaborative Processes
- Tool Support
- Summary of Main Principles and Selected Studies
- Conclusions
- References
- A Model-Based Simulation Environment for Structured Textual Use Cases
- Introduction
- Definitions
- Related Work
- Narrative Use Cases
- Simulation Environment Requirements
- Simulator Requirements
- Execution Model Requirements
- Simulation Concepts
- Execution Model Concepts
- Generating the Exe ecution Model
- Use Case Simulation
- Example
- Tool Support
- Evaluation
- Conclusions and Outlook
- References
- Automatic Co-evolution of Models Using Traceability
- Introduction
- Traceability of Model Transformation
- Co-evolution and Inter-model Consistency
- Conceptual Framework for Repercussion Transformation
- Creating a WeavingModel to Manage Inter-model Consistency
- The Repercussion Transformation
- Application to a Refinement Transformation
- Description of the Source Models
- Transformation and Results
- Traceability of Requirements
- Conclusions
- References
- FocalTest: A Constraint Programming Approach for Property-Based Testing
- Introduction
- Background
- A Quick Tour of Focalize
- Elementary Properties
- Test Verdict
- Constraint Generation
- Normalization of Function Definition
- Production of CLP(FD) Programs
- Constraint-Based Test Data Generation
- Constraint Solving
- Dedicated Constraint Combinators
- Test Data Labeling
- Correctness, Completeness and Non-termination
- Implementation and Results
- Implementation
- Experimental Evaluation
- Results Analysis
- Related Work
- Conclusions
- References
- HARM: Hacker Attack Representation Method
- Introduction
- Modeling Techniques of HARM
- Attack Sequence Descriptions (ASD) and Misuse Sequence Diagrams (MUSD)
- Misuse Case Maps (MUCM)
- Misuse Case (MUC) Diagrams
- Attack Trees (AT) and Attack Patterns (AP)
- Outline of HARM
- Method Steps
- The Modeling Techniques and Their Relations
- Meta Model for HARM
- Example: Applying HARM and the Meta Model
- Attack Sequence Descriptions (ASD) and Misuse Sequence Diagrams (MUSD)
- Misuse Case Maps (MUCM)
- Misuse Case (MUC) Diagrams
- Attack Trees (AT) and Attack Patterns (AP)
- Related Work
- HARM's Relation to Existing Approaches
- Comparison of HARM's Techniques
- The Meta Model's Relation to UML's Meta Model
- Conclusions and Further Work
- References
- An Architecture Based Deployment of Component Distributed Systems
- Introduction
- State of Art and Practices
- Deployment in Middleware
- OMG (Object Management Group)
- Academic Approaches
- Conceptual Framework
- Strategy Modeling
- Architecture
- Taxonomy and Typology of Deployment Strategies
- Strategy Language
- Example of Strategy
- UDeploy Engine Core
- Deployment Plan Creation
- Personalization
- Deployment Plan Execution
- Conclusions and Perspectives
- References
- Part II: Distributed Systems
- A Heuristic Algorithm for Finding Edge Disjoint Cycles in Graphs
- Introduction
- Hamiltonian Cycles and Mining
- An Example
- Edge Disjoint Hamiltonian Cycles
- Some Results
- Survey
- A Heuristic Algorithm
- Experimental Results
- Performance Evaluation
- Concluding Remarks
- References
- Part III: Data Management
- Distortion-Free Authentication Watermarking
- Introduction
- BasicWatermarking Process
- Preliminaries
- Distortion Free DatabaseWatermarking
- Partitioning
- Watermark Generation
- Watermark Detection
- Zero Distortion Authentication Watermarking (ZAW)
- Robustness
- False Hit
- False Miss
- Conclusions
- References
- FRIDAL: A Desktop Search System Based on Latent Interfile Relationships
- Introduction
- Related Work
- Search Method Based on Latent Inter-file Relationship
- Preparing Phase
- Searching Phase
- FRIDAL
- Evaluation
- Experimental Environment
- Experiment 1
- Experiment 2
- Concluding Remarks
- References
- Fine Grained Access Control for Relational Databases by Abstract Interpretation
- Introduction
- Observation-Based Disclosure Policy
- Collusion Attacks
- Preserving Referential Integrity Constraints between Database Relations under OFGAC
- Query Evaluation under OFGAC
- Query Evaluation in Presence of Aggregate Functions
- Query Evaluation in Presence of UNION, INTERSECT, MINUS
- Soundness of Query Evaluation
- Related Works
- Conclusions
- References
- Part IV: Knowledge-Based Systems
- "Facets" and "Prisms" as a Means to Achieve Pedagogical Indexation of Texts for Language Learning: Consequences of the Notion of Pedagogical Context
- Pedagogical Indexation
- Definition and Objectives
- Learning Resource Description Standards
- Pedagogical Context
- Adaptation of Yinger's Model
- First Definition
- Definition Update: Pedagogical Context as an Influence
- Prism-Facet Based Model
- Recursive Definitions
- Facet and Facet-Value
- Constant Facets
- The Pedagogical Context in the Model
- Prisms as a Means of Selection
- Facet vs Metadata
- Towards Implementation
- Prisms and Functions
- Views
- Conclusions
- References
- Author Index
