Embedded systems have gained an enormous amount of processing power and functionality. Many of the formerly external components ...
Lee masFDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...
Lee masAs its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research ...
Lee masThis book constitutes the post-conference proceedings of the WG2.7/13.4 10th Conference on Engineering Human Computer Interaction ...
Lee masESAW 2005 took place at the Pine Bay Hotel in Kusadasi, Turkey at the end of the October 2005. It was organized as a stand-alone ...
Lee masIt cover main themes: Engineering multi-agent systems, Methodologies for analysis, design, development and verification of ...
Lee masIt cover main themes: Engineering multi-agent systems, Methodologies for analysis, design, development and verification of ...
Lee masSoftware engineering has over the years been applied in many different fields, ranging from telecommunications to embedded ...
Lee mas"Methods of Artificial Intelligence and Intelligent Agents" contains 13 contributions analyzing such areas of AI as fuzzy ...
Lee masSOC design is fast becoming the key area of focus that engineers and researchers from the Electronic Design Automation field ...
Lee masThese proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated ...
Lee masThis book aims to gain better understanding of the LLGA in theory and to improve the LLGA's performance in practice. It ...
Lee masThis volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
Lee masThis book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
Lee masThis book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
Lee masThis text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, ...
Lee masThis easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. ...
Lee masThis volume is the first of its kind on focusing gamma-ray telescopes. Forty-eight refereed papers provide a comprehensive ...
Lee masThe 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...
Lee masSoftware validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...
Lee mas