Refine Results
Sort By
From
To
Page 4
Page 4
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
Managing Humans : More Biting and Humorous Tales of a Software Engineering Manage
Expands on the previous editions’ explorations of management essentials including handling stress, building diverse teams, running inclusive meetings, and how to lead in times of crisis. The education of a great leader never stops, and Lopp applies crucial insights to help continue your never-ending leadership education. Whether it is approaching a myriad of engineering personalities or handling unexpected conflict, you will come away with the wisdom to handle any team situation.
Managing Development and Application of Digital Technologies : Research Insights in the Munich Center for Digital Technology & Management (CDTM)
Digital technology determines today’s world and will be one of the key technologies of the future. Successful technology development, introduction and management are not only a question of technical issues; due to their complexity a close cooperation between different scientific disciplines is required to discuss various consequences, chances and risks from manifold points of view as a starting point for the design of adequate solutions. The ability to integrate business and technology decisions will become a crucial core competence.
Map-based Mobile Services : Design, Interaction and Usability
It addresses methods and techniques for topics that range from design and rendering, context modelling, personalisation, multimodal interaction to usability test. Instead of striving for a seamless coverage of all essential theoretical and technical issues with an equal depth and extent, we attempt to pinpoint a number of research highlights and representative development activities at universities, research institutions and so- ware industry. The operational prototypes and platforms reported in the book are on the one hand outcome and feasibility proof of various approaches. On the other hand, they serve as a new starting point for the refinement of user interfaces and iterative usability tests.
Advances and Innovations in Systems, Computing Sciences and Software Engineering
Acollection of world class paper articles addressing the following topics: Image and Pattern Recognition: Compression, Image processing, Signal Processing Architectures, Signal Processing for Communication, Signal Processing Implementation, Speech Compression, and Video Coding Architectures. Languages and Systems: Algorithms, Databases, Embedded Systems and Applications, File Systems and I/O, Geographical Information Systems, Kernel and OS Structures, Knowledge Based Systems, Modeling and Simulation, Object Based Software Engineering, Programming Languages, and Programming Models and tools. Parallel Processing: Distributed Scheduling, Multiprocessing, Real-time Systems, Simulation Modeling and Development, and Web Applications. New trends in computing: Computers for People of Special Needs, Fuzzy Inference, Human Computer Interaction, Incremental Learning, Internet-based Computing Models, Machine Intelligence, Natural Language Processing, Neural Networks, and Online Decision Support System.
