Description and Selection of Communication Services for Service Oriented Network Architectures
Control Modes on Mobile Software Platforms : Empirical Studies on the Importance of Informal Control
Mobile Device Management : Mobility Evaluation in Small and Medium-Sized Enterprises
Generalized Network Improvement and Packing Problems
Bridging the Gap between Requirements Engineering and Software Architecture : A Problem-Oriented and Quality-Driven Method
Optimizing Transport Logistics Processes with Multiagent Planning and Control
Weather Hazard Warning Application in Car-to-X Communication : Concepts,Implementations, and Evaluations
Complete Symbolic Simulation of SystemC Models : Efficient Formal Verification of Finite Non-Terminating Programs
Variation Based Dense 3D Reconstruction : Application on Monocular Mini-Laparoscopic Sequences
Introduction to topological dynamics
Computer-Aided Design of User Interfaces III : Proceedings of the Fourth International Conference on Computer-Aided Design of User Interfaces 15-17 Ma
History and Philosophy of Constructive Type Theory
