Computer Engineering

It is now more than fifty years since the first paper on formal specifications of an information system was published by Young and Kent. Even if the term "conceptual model" was not used at that time, the basic intention of the abstract specification was...

Due to the lack of a uniform schema for Web documents and the sheer amount and dynamics of Web data, both the effectiveness and the efficiency of information management and retrieval of Web data is often unsatisfactory when using conventional data...

This book constitutes the proceedings of the 9th International Conference on Web Information Systems Engineering, WISE 2008, held in Auckland, New Zealand, in September 2008. The 17 revised full papers and 14 revised short papers presented together with...

This year, we received about 170 submissions to ICWL 2008. There were a total of 52 full papers, representing an acceptance rate of about 30%, plus one invited paper accepted for inclusion in this LNCS proceedings. The authors of these accepted papers...

The 5th IFIP/IEEE International Conference on Management of Multimedia NetworksandServices(MMNS) washeld inSanta Barbara,California. Thiswas the ?fthyearthatMMNSbroughttogetherresearchersanddeveloperstodiscuss the latestadvancesandexplorefuture...

th DEXA 2001, the 12 International Conference on Database and Expert Systems Applications was held on September 3-5, 2001, at the Technical University of Munich, Germany. The rapidly growing spectrum of database applications has led to the establishment...

Research on Internet security over the past few decades has focused mainly on information assurance, issues of data confidentiality and integrity as explored through cryptograph algorithms, digital signature, authentication code, etc. Unlike other books...

Intelligent Data Analysis for Biomedical Applications: Challenges and Solutions presents specialized statistical, pattern recognition, machine learning, data abstraction and visualization tools for the analysis of data and discovery of mechanisms that...

Differential Transformation Method for Mechanical Engineering Problems focuses on applying DTM to a range of mechanical engineering applications. The authors modify traditional DTM to produce two additional methods, multi-step differential transformation...

Differential Quadrature and Differential Quadrature Based Element Methods: Theory and Applications is a comprehensive guide to these methods and their various applications in recent years. Due to the attractive features of rapid convergence, high...

Crossbar switch fabrics offer many benefits when designing switch/routers. This book discusses switch/router architectures using design examples and case studies of well-known systems that employ crossbar switch fabric as their internal interconnects...

The global energy crisis is accelerating, and within Europe, the European Union (EU) is actively working to address this challenge through policy frameworks and political management. However, the energy market remains fiercely competitive, prompting us...

The IFIP World Computer Congress (WCC) is one of the most important conferences in the area of computer science at the worldwide level and it has a federated structure, which takes into account the rapidly growing and expanding interests in this area...

This book constitutes the joint refereed proceedings of three workshops held in conjunction with the 9th International Conference on Web Information Systems Engineering, WISE 2008 in Auckland, New Zealand, September, 2008. The 16 revised full papers...

Based on the new idea of gathering state of the art topics in Geometric Modeling together with techniques, applications, systems and tools The first book of its kind in that it incorporates several topics providing a class of practical solutions to...

This book helps readers to master MATLAB[registered] step-by-step. The MATLAB - "MATrix LABoratory" - computational environment offers a rich set of capabilities to efficiently solve a variety of complex analysis, simulation, and optimization...

A Volume in the Wiley-Interscience Series on Laboratory Automation. The complete, step-by-step guide to using Visual Basic(r) in a laboratory setting Visual Basic(r) is fast becoming the de facto laboratory programming language, yet existing books...

Programming multi-core and many-core computing systems Sabri Pllana, Linnaeus University, Sweden Fatos Xhafa, Technical University of Catalonia, Spain Provides state-of-the-art methods for programming multi-core and many-core systems The book comprises a...

A highly accessible reference offering a broad range of topics and insights on large scale network-centric distributed systems Evolving from the fields of high-performance computing and networking, large scale network-centric distributed systems...

In the near future, wireless sensor networks will become an integral part of our day-to-day life. To solve different sensor networking related issues, researchers have been putting various efforts and coming up with innovative ideas. Within the last few...

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics,...

SCM practices are recognised as core functional areas in assisting a project team to identify, control, audit, and report on all configuration items of a project. Consequently they are then better able to control changes to the working environment. ...

Combines the theory and the practice of applied digital control This book presents the theory and application of microcontroller based automatic control systems. Microcontrollers are single-chip computers which can be used to control real-time systems...

Security of Energy supply is a major concern for all modern societies, intensified by skyrocketing demand in India and China and increasing international competition over fossil fuel deposits. Energy Security: An Interdisciplinary Approach gives A...

The Design of Future Educational Interfaces provides a new multidisciplinary synthesis of educational interface research. It explains how computer interfaces can be redesigned to better support our ability to produce ideas, think, and solve problems...

The Verilog language provides a means to model a digital system at many levels of abstraction from a logic gate to a complex digital system to a mainframe computer. The purpose of this book is to present the Verilog language together with a wide variety...

This volume contains the papers presented at the 8th Workshop on Computing: Theory and Practice, WCTP 2018 and is devoted to theoretical and practical approaches to computation. The conference was organized by four top universities in Japan and the...

VANET is subgroup of MANET (Mobile AdHoc Network) and it enables communication amongst the vehicles on the road and between related infrastructures. This book addresses basic elements of VANET alongwith components involved in the communication with their...

The 3rd International Conference on Foundations and Frontiers in Computer, Communication and Electrical Engineering is a notable event which brings together academia, researchers, engineers and students in the fields of Electronics and Communication,...

The book addresses the need to investigate new approaches to lower energy requirement in multiple application areas and serves as a guide into emerging circuit technologies. It explores revolutionary device concepts, sensors, and associated circuits and...

The book addresses the need to investigate new approaches to lower energy requirement in multiple application areas and serves as a guide into emerging circuit technologies. It explores revolutionary device concepts, sensors, and associated circuits and...

This book focuses on the fundamental concepts of IP routing and distance-vector routing protocols (RIPv2 and EIGRP). It discusses routing protocols from a practicing engineer's perspective, linking theory and fundamental concepts to common practices and...

Knowledge-Based Intelligent Techniques in Character Recognition presents research results on intelligent character recognition techniques, reflecting the tremendous worldwide interest in the applications of knowledge-based techniques in this challenging...

Current standard numerical methods are of little use in solving mathematical problems involving boundary layers. In Robust Computational Techniques for Boundary Layers, the authors construct numerical methods for solving problems involving differential...

In recent years, new paradigms have emerged to replace-or augment-the traditional, mathematically based approaches to optimization. The most powerful of these are genetic algorithms (GA), inspired by natural selection, and genetic programming, an...

The use of simulation modeling and analysis is becoming increasingly more popular as a technique for improving or investigating process performance. This book is a practical, easy-to-follow reference that offers up-to-date information and step-by-step...

Technological advancement in chip development, primarily based on the downscaling of the feature size of transistors, is threatening to come to a standstill as we approach the limits of conventional scaling. For example, when the number of electrons in a...

If you're ready to take your knowledge of ArcGIS to the next level, then you need to learn how to work with ArcObjects. But with thousands of objects, properties, and methods, how can you ever hope to sort through the ArcObjects model diagrams?The first...

Although the dynamic aspect of the world is widely recognized, information systems have lagged in their ability to represent these dynamics and provide support for users and analysts, especially those who work with dynamic geographic domains. A...

Unique in its approach, Models of Network Reliability: Analysis, Combinatorics, and Monte Carlo provides a brief introduction to Monte Carlo methods along with a concise exposition of reliability theory ideas. From there, the text investigates a...