IT management: The basis -- The basis of the field -- Supplying IT products and services within an architecture -- Traditional IT management: organizing demand and supply -- Task focussed and simultaneous process-focussed supply of facilities -- The demand-side: functional management (using the method BiSL) -- The supply-side: application management (using the method ASL) -- The supply-side: ex…
Application-Oriented Designs -- Building Applications from a Web Service based Component Architecture -- Components for High-Performance Grid Programming in Grid.IT -- Towards Building a Generic Grid Services Platform: A Component-Oriented Approach -- A Solution for Adapting Legacy Code as Web Services -- Middleware Architecture -- A Graphical Modeling Environment for the Generation of Workflow…
Middleware Integration -- Cooperative Component-Based Software Deployment in Wireless Ad Hoc Networks -- Infrastructure for Automatic Dynamic Deployment of J2EE Applications in Distributed Environments -- Patterns for Deployment -- Component Deployment Using a Peer-to-Peer Overlay -- A Methodology for Developing and Deploying Distributed Applications -- QOS Issues -- Crosslets: Self-managing Ap…
Fault Tolerance and Recovery -- An Adaptive Self-tolerant Algorithm for Hardware Immune System -- Consensus-Based Evaluation for Fault Isolation and On-line Evolutionary Regeneration -- Hardware Fault-Tolerance Within the POEtic System -- Evolvable Hardware System at Extreme Low Temperatures -- Platforms for Evolving Digital Systems -- Intrinsic Evolution of Sorting Networks: A Novel Complete H…
Model Organization Constraints in Multi-Agent System -- A Multi-Agent System for Mobile Environments -- Agent Interaction Management and Application in a Virtual Collaborative Environment -- An Integrated Approach to Battlefield Situation Assessment -- Negotiation Based on Personality -- MIAM: A Robot Oriented Mobile Intelligent Agent Model -- Incorporating Elements from Camle in the Open Repos…
Parallel Job Scheduling — A Status Report -- Scheduling on the Top 50 Machines -- Parallel Computer Workload Modeling with Markov Chains -- Enhancements to the Decision Process of the Self-Tuning dynP Scheduler -- Reconfigurable Gang Scheduling Algorithm -- Time-Critical Scheduling on a Well Utilised HPC System at ECMWF Using Loadleveler with Resource Reservation -- Inferring the Topology and…
Invited Program -- Keynote 1: Using EEMBC Benchmarks to Understand Processor Behavior in Embedded Applications -- Keynote 2: The Chip-Multiprocessing Paradigm Shift: Opportunities and Challenges -- Software Defined Radio – A High Performance Embedded Challenge -- I Analysis and Evaluation Techniques -- A Practical Method for Quickly Evaluating Program Optimizations -- Efficient Sampling Start…
Modeling User Runtime Estimates -- Workload Analysis of a Cluster in a Grid Environment -- ScoPred–Scalable User-Directed Performance Prediction Using Complexity Modeling and Historical Data -- Open Job Management Architecture for the Blue Gene/L Supercomputer -- AnthillSched: A Scheduling Strategy for Irregular and Iterative I/O-Intensive Parallel Jobs -- An Extended Evaluation of Two-Phase …
Adaptation, Power Consumption and Scheduling -- Energy Management for Embedded Multithreaded Processors with Integrated EDF Scheduling -- Reducing System Level Power Consumption for Mobile and Embedded Platforms -- Implementing Control Algorithms Within a Multithreaded Java Microcontroller -- Adaptivity for Quality and Timeliness Flexible Real-Time Systems -- Adaptation and Agents -- Apricot Ag…
Invited Papers -- On the Correctness of Operating System Kernels -- Alpha-Structural Recursion and Induction -- Regular Papers -- Shallow Lazy Proofs -- Mechanized Metatheory for the Masses: The PoplMark Challenge -- A Structured Set of Higher-Order Problems -- Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS -- Proving Equalities in a Commutative Ring Done Right in Coq -- A …