Software and Data Technolgoies

This book contains the best papers of the Third International Conference on Software and Data Technologies (ICSOFT 2008), held in Porto, Portugal, which was organized by the Institute for Systems and Technologies of Information, Communication and Control (INSTICC), co-sponsored by the Workflow Management Coalition (WfMC), in cooperation with the Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology (IICREST). The purpose of ICSOFT 2008 was to bring together researchers, engineers and practitioners interested in information technology and software development. The conference tracks were "Software Engineering", "Information Systems and Data Management", "Programming Languages", "Distributed and Parallel Systems" and "Knowledge Engineering". Being crucial for the development of information systems, software and data te- nologies encompass a large number of research topics and applications: from imp- mentation-related issues to more abstract theoretical aspects of software engineering; from databases and data-warehouses to management information systems and kno- edge-base systems; next to that, distributed systems, pervasive computing, data qu- ity and other related topics are included in the scope of this conference.

Contenu

Invited Speakers.- User Defined Geo-referenced Information.- I: Programming Languages.- Extending the SSCLI to Support Dynamic Inheritance.- Scala Roles: Reusable Object Collaborations in a Library.- II: Software Engineering.- Common Criteria Based Security Scenario Verification.- A Software Infrastructure for User-Guided Quality-of-Service Tradeoffs.- On the Multiplicity Semantics of the Extend Relationship in Use Case Models.- Secure Mobile Phone Access to Remote Personal Computers: A Case Study.- III: Distributed and Parallel Systems.- Understanding and Evaluating Replication in Service Oriented Multi-tier Architectures.- Applying Optimal Stopping for Optimizing Queries to External Semantic Web Resources.- An Efficient Pipelined Parallel Join Algorithm on Heterogeneous Distributed Architectures.- IV: Information Systems and Data Management.- Declarative Business Process Modelling and the Generation of ERP Systems.- Single Vector Large Data Cardinality Structure to Handle Compressed Database in a Distributed Environment.- Relaxed Approaches for Correct DB-Replication with SI Replicas.- Measuring the Usability of Augmented Reality e-Learning Systems: A User-Centered Evaluation Approach.- Supporting the Process Assessment through a Flexible Software Environment.- V: Knowledge Engineering.- Increasing Data Set Incompleteness May Improve Rule Set Quality.- Anomaly Detection Using Behavioral Approaches.