In ways both obvious and obscure, information technology is transforming our daily lives, yet the penetration of information technology into our critical infrastructures is still in its early stages. Security is an enabling technology. If these systems are built to be trusted, so that our privacy is maintained, so that transaction integrity can be relied upon, and so that resources are there when needed, then new paradigms for work and play will emerge. The challenge for educators is to create ways to ensure that those who must construct our enabling technology are equipped with the...
In ways both obvious and obscure, information technology is transforming our daily lives, yet the penetration of information technology into our criti...
System Modeling and Optimization XX deals with new developments in the areas of optimization, optimal control and system modeling. The themes range across various areas of optimization: continuous and discrete, numerical and analytical, finite and infinite dimensional, deterministic and stochastic, static and dynamic, theory and applications, foundations and case studies. Besides some classical topics, modern areas are also presented in the contributions, including robust optimization, filter methods, optimization of power networks, data mining and risk control. This...
System Modeling and Optimization XX deals with new developments in the areas of optimization, optimal control and system modeling. Th...
The papers contained in this volume were presented at the fourth edition of the IFIP International Conference on Theoretical Computer Science (IFIP TCS), held August 23-24, 2006 in Santiago, Chile. They were selected from 44 pa- pers submitted from 17 countries in response to the call for papers. A total of 16 submissions were accepted as full papers, yielding an acceptance rate of about 36%. Papers sohcited for IFIP TCS 2006 were meant to constitute orig- inal contributions in two general areas: Algorithms, Complexity and Models of Computation; and Logic, Semantics, Specification and...
The papers contained in this volume were presented at the fourth edition of the IFIP International Conference on Theoretical Computer Science (IFIP TC...
"New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design" contains the proceedings from the EduTech Workshop, an IFIP TC-10 Working Conference held in Perth, Australia. The workshop aimed to explore the interrelationship between computer-aided technology and computer-aided learning.
Computation and communication technologies underpin work and development in many different areas. Among them, Computer-Aided Design of electronic systems and E-Learning technologies are two areas which are different but share many concerns. The design of CAD and...
"New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design" contains the proceedings from the EduTech Workshop, an IFIP TC-1...
This book constitutes the refereed proceedings of the Third IFIP WG 11.11 International Conference, IFIPTM 2009, held in West Lafayette, IN, USA, in June 2009. The 17 revised full papers presented together with one invited paper and 5 demo descriptions were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on social aspects and usability, trust reasoning and processing, data security, enhancements to subjective logic, information sharing, risk assessment, and simulation of trust and reputation systems.
This book constitutes the refereed proceedings of the Third IFIP WG 11.11 International Conference, IFIPTM 2009, held in West Lafayette, IN, USA, in J...
This book contains the collection of papers presented at the conference of the International Federation for Information Processing Working Group 8.2 "Information and Organizations." The conference took place during June 21-24, 2009 at the Universidade do Minho in Guimaraes, Portugal. The conference entitled "CreativeSME - The Role of IS in Leveraging the Intelligence and Creativity of SME's" attracted high-quality submissions from across the world. Each paper was reviewed by at least two reviewers in a double-blind review process. In addition to the 19 papers presented at the conference,...
This book contains the collection of papers presented at the conference of the International Federation for Information Processing Working Group 8.2 "...
This volume constitutes the refereed proceedings of the Third IFIP WG 5.4. Working Conference on Computer Aided Innovation, CAI 2009, held in Harbin, China, in August 2009. The papers deal with advanced approaches in education and training; data mining; text mining; semantic Web; optimization and innovation, shape and topology generators; design automation; integration of CAI methods and tools into engineering; innovation process and engineering information pipeline; innovation in collaborative networks of enterprises; professional virtual communities as well as engineering design.
This volume constitutes the refereed proceedings of the Third IFIP WG 5.4. Working Conference on Computer Aided Innovation, CAI 2009, held in Harbin, ...
Recent spectacular achievements in wireless, mobile, and sensor networks have dramatically changed our lives in many ways. However, the rapid evolution of wireless systems not only promises increased functionality, reliability, availability, and security, as well as putting a wide variety of new services at the users' disposal ? it also creates a number of design challenges that our research community is now facing. Scientists and engineers need to come up with, and promptly implement, novel wireless network architectures, while system operators and planners rethink their business models and...
Recent spectacular achievements in wireless, mobile, and sensor networks have dramatically changed our lives in many ways. However, the rapid evolutio...
The First Conference on the History of Nordic Computing (HiNC1) was organized in Trondheim, in June 2003. The HiNC1 event focused on the early years of computing, that is the years from the 1940s through the 1960s, although it formally extended to year 1985. In the preface of the proceedings of HiNC1, Janis Bubenko, Jr., John Impagliazzo, and Arne Solvberg describe well the peculiarities of early Nordic c- puting 1]. While developing hardware was a necessity for the first professionals, quite soon the computer became an industrial product. Computer scientists, among others, grew increasingly...
The First Conference on the History of Nordic Computing (HiNC1) was organized in Trondheim, in June 2003. The HiNC1 event focused on the early years o...
This book constitutes the refereed proceedings of the third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, held in Langenargen, Germany, in September 2009.
The 28 revised papers were selected from 46 submissions. The papers are organized in topical sections on modelling; transaction level modelling; scheduling and real-time systems; simulation, verification and test; platforms and processors; automotive systems; andwireless sensor networks. The volumealso includes three case studies and two tutorials."
This book constitutes the refereed proceedings of the third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, held in Langenargen, Ge...
