to Bioinformatics -- Overview of Structural Bioinformatics -- Database Warehousing in Bioinformatics -- Data Mining for Bioinformatics -- Machine Learning in Bioinformatics -- Systems Biotechnology: a New Paradigm in Biotechnology Development -- Computational Modeling of Biological Processes with Petri Net-Based Architecture -- Biological Sequence Assembly and Alignment -- Modeling for Bioinfor…
Invited Papers -- Negotiation Technologies -- Knowledge Discovery for Training Intelligent Agents: Methodology, Tools and Applications -- Artificial Immune Systems—An Emergent Technology for Autonomous Intelligent Systems and Data Mining -- Evolving Agents: Communication and Cognition -- Agents and Data Mining: Mutual Enhancement by Integration -- Soft-Device Inheritance in the Knowledge Grid…
Network Management -- An Infrastructure-Based Approach to Support Dynamic Networks with Mobile Agents -- Some Requirements for Autonomic Routing in Self-organizing Networks -- Policy Interoperability and Network Autonomics -- Models and Protocols -- Spatial Computing: An Emerging Paradigm for Autonomic Computing and Communication -- Self-deployment, Self-configuration:Critical Future Paradigms …
From the Contents. Introduction -- Background Knowledge -- Problems and Overviews of Approach -- Logic -- Formal Support for Data Modelling -- Formal Support for Process Modelling -- Reasoning on and Executing Processes -- Knowledge Sharing and Reuse of Models -- The Use of System: KBST-BM -- Evaluation of System -- Conclusion -- Appendices - A. Generic Models from BSDM -- B. Example Models of …
Keynote Speeches -- Ranking Abstraction as a Companion to Predicate Abstraction -- Termination and Invariance Analysis of Loops -- Some Perspectives of Infinite-State Verification -- Model Checking -- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond -- A New Reachability Algorithm for Symmetric Multi-processor Architecture -- Comprehensive Verification Framework for Depen…
Invited Papers -- Evolution of Enterprise Information Systems in the Internet Era -- Managing Change — Evolving the EIS Vision -- Automatic Speech Recognition: A Review -- Reasoning with Goals to Engineer Requirements -- Real-Time Knowledge-Based Systems for Enterprise Decision Support and Systems Analysis -- Is Engineering Getting Out of Classical System Engineering -- Databases and Informat…
Usability -- Bringing Usability Concerns to the Design of Software Architecture -- Empirical Usability Testing in a Component-Based Environment: Improving Test Efficiency with Component-Specific Usability Measures -- Software Architecture Analysis of Usability -- Task Modelling -- Support for Task Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Archit…
This comprehensive encyclopedia provides easy access to information on all aspects of cryptography and security. With an A–Z format of over 460 entries, 100+ international experts provide an accessible reference for those seeking entry into any aspect of the broad fields of cryptography and information security. Most entries in this preeminent work include useful literature references, provid…
Keynote Speeches and Invited Talks Abstracts (Partial) -- Track 1 Distributed Embedded Computing -- Track 2 Embedded Systems -- Track 3 Embedded Hardware and Architecture -- Track 4 Middleware for Embedded Computing -- Track 5 Mobile Systems -- Track 6 Transducer Network -- Track 7 Embedded Operating System -- Track 8 Power-Aware Computing -- Track 9 Real-Time System -- Track 10 Embedded System…
Keynote Speech -- Track 1: Embedded Hardware -- Track 2: Embedded Software -- Track 3: Real-Time Systems -- Track 4: Power-Aware Computing -- Track 5: Hardware/Software Co-design and System-On-Chip -- Track 6: Testing and Verification -- Track 7: Reconfigurable Computing -- Track 8: Agent and Distributed Computing -- Track 9: Wireless Communications -- Track 10: Mobile Computing -- Track 11: Pe…