Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- embedded systems --- computerbesturingssystemen --- programmeren (informatica) --- informatiesystemen --- KI (kunstmatige intelligentie) --- OS (operating system) --- computernetwerken --- robots --- AI (artificiële intelligentie)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2007, held on Santorini Island, Greece, in May 2007 in conjunction with ISORC 2007, the 10th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing. The 31 revised full papers and 4 revised short papers presented were carefully reviewed and selected from 102 submissions. The papers are organized in topical sections on ubiquitous computing frameworks, safety-critical systems, validation of embedded and ubiquitous systems, ubiquitous computing applications, scheduling and non functional properties, self-organization and reconfiguration, service discovery and development platform, wireless networks, middleware architectures and virtualization, and environment interaction.

Computer architecture. Operating systems --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- IR (information retrieval) --- embedded systems --- informatica --- informatiesystemen --- informatica management --- computernetwerken

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers have been organized in the following topical sections: design methodologies; non-functional aspects of embedded systems; verification; performance analysis; real-time systems; embedded system applications; and real-time aspects in distributed systems. The book also includes a special chapter dedicated to BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems.

Computer science. --- Software engineering. --- Computer system performance. --- Computer aided design. --- Computer Science. --- Special Purpose and Application-Based Systems. --- System Performance and Evaluation. --- Software Engineering. --- Computer-Aided Engineering (CAD, CAE) and Design. --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Electrical Engineering --- Computer software engineering --- Informatics --- CAD (Computer-aided design) --- Computer-assisted design --- Special purpose computers. --- Computer system failures. --- Computer-aided engineering. --- Embedded computer systems --- Design and construction --- Programming --- Design and construction. --- Embedded systems (Computer systems) --- Computer systems --- Architecture Analysis and Design Language --- Computer-aided engineering --- Design --- Engineering --- CAE --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Special purpose computers --- Computers --- Data processing --- Failures --- Computers, Special purpose. --- Electronic digital computers --- Evaluation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2007, held on Santorini Island, Greece, in May 2007 in conjunction with ISORC 2007, the 10th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing. The 31 revised full papers and 4 revised short papers presented were carefully reviewed and selected from 102 submissions. The papers are organized in topical sections on ubiquitous computing frameworks, safety-critical systems, validation of embedded and ubiquitous systems, ubiquitous computing applications, scheduling and non functional properties, self-organization and reconfiguration, service discovery and development platform, wireless networks, middleware architectures and virtualization, and environment interaction.

Computer architecture. Operating systems --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- IR (information retrieval) --- embedded systems --- informatica --- informatiesystemen --- informatica management --- computernetwerken

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing. For more information about the 300 other books in the IFIP series, please visit www.springer.com. For more information about IFIP, please visit www.ifip.org.

Computer. Automation --- informatica