Learning Environments -- Globaledu - An Architecture to Support Learning in a Pervasive Computing Environment -- Using Docbook to Aid in The Creation of Learning Content -- A Java Framework to Teach Computer Architecture -- Tools and Application for Education -- Blue Macaw: A Didactic Placement Tool Using Simulated Annealing -- Application of Project/Problem-Based Learning in Microelectronics -…
Towards Biomimetic Neural Learning for Intelligent Robots -- Towards Biomimetic Neural Learning for Intelligent Robots -- I: Biomimetic Multimodal Learning in Neuron-Based Robots -- The Intentional Attunement Hypothesis The Mirror Neuron System and Its Role in Interpersonal Relations -- Sequence Detector Networks and Associative Learning of Grammatical Categories -- A Distributed Model of Spati…
Medical Databases and Information Systems -- Application of Three-Level Handprinted Documents Recognition in Medical Information Systems -- Data Management and Visualization Issues in a Fully Digital Echocardiography Laboratory -- A Framework Based on Web Services and Grid Technologies for Medical Image Registration -- Biomedical Image Processing Integration Through INBIOMED: A Web Services-Bas…
Making Metrics a Success — The Business Perspective -- Planning the Measurement Process -- Performing the Measurement Process -- Introducing a Measurement Program -- Measurement Infrastructures -- Size and Effort Estimation -- Project Control -- Defect Detection and Quality Improvement -- Software Process Improvement -- Software Performance Engineering -- Service Level Management -- Case Stud…
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 …
Invited Lectures -- Data Structures I -- Cryptography and Complexity -- Data Structures II -- Cryptography and Distributed Systems -- Graph Algorithms I -- Security Mechanisms -- Graph Algorithms II -- Automata and Formal Languages I -- Signature and Message Authentication -- Algorithmic Game Theory -- Automata and Logic -- Computational Algebra -- Cache-Oblivious Algorithms and Algorithmic Eng…
Requirements Engineering: Setting the Context -- State-of-the-Art Surveys of Requirements Engineering Process Research -- Requirements Elicitation: A Survey of Techniques, Approaches, and Tools -- Specification of Requirements Models -- Requirements Prioritization -- Requirements Interdependencies: State of the Art and Future Challenges -- Impact Analysis -- Requirements Negotiation -- Quality …
Challenges -- Organizational Transformation Through E-Government: Myth or Reality? -- The Governance of Back Office Integration in E-Government: Some Dutch Experiences -- E-Government Systems in Developing Countries: Stakeholders and Conflict -- Performance -- Intelligent Measuring and Improving Model for Customer Satisfaction Level in e-Government -- Accountability of Electronic Cross-Agency S…
Keynotes -- Modeling and Simulation Methodologies I -- Intelligent Control -- Computer and Network Security I -- HLA and Simulator Interoperation -- Manufacturing -- Agent-Based Modeling -- DEVS Modeling and Simulation -- Modeling and Simulation Methodologies II -- Parallel and Distributed Modeling and Simulation I -- Mobile Computer Network -- Web-Based Simulation, Natural System -- Modeling a…