Computer Society Press
Dependability of computer systems; proceedings.
A June 2007 conference created a platform for discussion of dependability and maintenance problems of large systems, especially computer systems and networks which often operate in 'hostile' environments. Papers from the conference are presented here, in sections on modeling, methodology and tools, dependability of computer networks, software security and dependability, and applications. Specific topics covered include transient fault detection in state-automata, detection methods of dynamic spammers' behavior, maintenance policy of a network with traffic reconfiguration, and an artificial immune system approach for fault prediction in object-oriented software. Class inheritance metrics, development of a distributed planner for decision support systems, reliability of e-mail delivery in the era of spam, and error prevention for cryptographic hardware are some other subjects covered. The editor is affiliated with Wroclaw University of Technology, Poland. There is no subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Dependable systems and networks; proceedings.
Sponsored by a committee of the IEEE Computer Society, the June 2007 meeting in Edinburgh, UK was the 37th, closing in on the big 4-0 for this annual gathering (and it seems like discussions of dependable systems and networks were born just yesterday). Here again are papers on security protection (architectural approaches); various aspects of software and hardware fault tolerance; and performance and dependability — architecture, measurement and monitoring, evaluation, and modeling, among other topics. Practical experience reports are presented along with research in each area. A concluding section comprises tutorials, workshops, student forums, fast abstracts, and a report on the National Programme for Information Technology in the UK Health Service. Indexing is by author, but not by subject. (Annotation ©2007 Book News Inc. Portland, OR)
E-commerce technology/ enterprise computing, e-commerce, and e-services; proceedings.
Fifty-nine papers from the combined July 2007 conference report on advances in the state of the art and practice of e-commerce and Web- based information systems, and identify emerging research topics in the field. Most papers are related to the infrastructure issues and enabling technologies that facilitate dynamic e-business and Web- based information systems. Material is organized in sections on e- commerce applications, trading, marketing, business modeling, document management, auction and dynamic pricing, enterprise computing, and Web services for electronic commerce. There is no subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Emerging VLSI technologies and architectures; proceedings.
Sixty-six papers and 27 posters selected for the March 2007 symposium present recent research on system-on-chip and network- on-chip technology, exploring methods for low power design, verification and testing, reconfigurable systems, optimized placement, mixed signal design, and embedded processing. The contributors propose a CMP-aware maze routing algorithm for yield enhancement, a MEMS short duration current pulse generator, and a flexible datapath interconnect for embedded applications. Other topics include generating realistic stimuli for accurate power grid analysis, the performance of graceful degradation for cache faults, overdrive power- gating techniques for power minimization, and partial product reduction for parallel cubing. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Engineering of computer-based systems; proceedings.
Papers from a March 2007 conference look at ways to raise expectations for software systems. Reliability, management of functional change, and on-time and on-budget delivery are the main themes. Papers are in sections on architectures, component-based system design, distributed systems design, embedded real-time software systems, requirements elicitation and analysis, and model- based system development. Other topics include medical and industrial applications, reengineering and reuse, security, and verification and validation. Papers address specific topics such as model-based testing with architecture models, clause symmetry in a distributed bounded model checking algorithm, model-based cyber security, and alert fusion for a computer host-based intrusion detection system. There is no subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Engineering of complex computer systems; proceedings.
The proceedings of the July 2007 conference features special sessions on complexity with autonomic systems, complex program verifier, and the FMICS-jETI platform for program verification. Other papers address real-time systems, modeling, security, context awareness, formal languages, and software architecture. Topics of the 40 papers include the registry for sensor network discovery, reasoning about nonblocking concurrency using reduction, managing changes in designs of embedded computing systems, POSIX file store in Z/Eves, and modular synthesis of discrete controllers. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Euromicro conference on real-time systems; proceedings.
These proceedings of the July 2007 conference include the 27 papers presented plus notes on the keynote talks on the evolution of model-driven development into model-driven engineering, real-time requirements of media control applications and research opportunities under the European Commission. Major topics include scheduling and schedulability analysis, including a delay composition theorem for real-time pipelines, multiprocessor scheduling, including hard and soft real-time tasks, control and energy management, including dynamic rate adjustments for robotic systems, wireless network scheduling, including those to meet IEEE standards, timing analysis, including a compiler approach to predictable paging, the quality of service management, including scheduling variable execution times, scheduling in networks and multicore platforms, including composition techniques for tree communication schedules, and fixed-priority scheduling, including work in artificial intelligence. (Annotation ©2007 Book News Inc. Portland, OR)
European test symposium; proceedings.
Held in Freiburg, Germany in May, 2007, the 12th IEEE European Test Symposium (ETS 2007) drew researchers from around the world to discuss recent developments in the field of electronic-based circuit and system testing. This proceedings volume contains all of the papers presented there that were selected for the scientific track. Topics explored include NoC testing, online sensor testing, fault grading, single event upsets, and embedded tutorials. The volume concludes with a paper on a new DFT technique that allows for the testing of embedded ADCs and DACs in a fully digital manner. The volume is not indexed. (Annotation ©2007 Book News Inc. Portland, OR)
Future of software engineering; proceedings.
These 25 papers from the May 2007 conference survey the current state of software engineering in both academia and industry, and identify emerging research trends. The contributors explore the challenges of building advanced mechatronic systems, improving software practice through education, achieving safety in sensitive systems, and socio- technical coordination. Other topics include model-driven development of complex software, source code analysis, software model checking, web application development, requirement engineering, project economics, and reverse engineering. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Fuzzy systems and knowledge discovery; proceedings; 4v.
The 586 papers of this proceedings were presented at the Fourth International Conference held in Haikou, Hainan, China in August 2007. Written by scientists worldwide, the papers are grouped by subject and present research in topics that include fuzzy theory and models, stability of fuzzy systems, uncertainty management in data mining, statistical and probabilistic methods of data mining, and machine learning. Individual paper topics include a data classifier based on TOPSIS method, a homogeneous set-theoretical frame for clustering fuzzy relational data, a quick ant clustering algorithm, and approaches to context-based knowledge share and reuse. Each article includes an abstract and list of references. Author index only. (Annotation ©2007 Book News Inc. Portland, OR)
Geometric modelling and imaging; proceedings.
This proceedings volume from the 2007 International Conference on Geometric Modeling and Imaging contains 28 papers for students and practitioners in the following fields: computer aided and geometric design, computer graphics and vision, image processing, and pattern recognition. Specific topics include: a pseudo real-time system for visualization of 3D scenes, modeling and visualization of moving objects on a digital map, a comparison of efficient decimation algorithms for polygonal models, and an indoor navigational aid system for the visually impaired. This book contains an author index only. (Annotation ©2007 Book News Inc. Portland, OR)
Information visualization; proceedings.
These proceedings consist of about 140 papers from the 11th International Conference on Information Visualization held in Zurich, Switzerland, in July of 2007. Papers are by an international group of scientists, artists, and users from a variety of disciplines who take into account non-science areas such as the humanities, psychology, sociology, and business, and the theme of "Shifting Focus to Wider Understanding and Application." Papers are on topics relating to visual analytics; techniques; usability; applications; collaborative, web, large-scale, and knowledge visualization; geovisualization; biomedical informatics; built and rural environments; design; visual data mining; HCI; augmented, mixed and virtual reality; multimedia and e-learning; digital art; animation and computer games; and education. Only an author index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Logic in computer science; proceedings.
These proceedings of the July 2007 symposium include the 39 papers selected for presentation, a list of short presentations and a list of associated workshops held as satellite events held in the previous year. The papers, which include abstracts and references, cover type theory (including a dependent set theory), computational proof theory (including methods of problem solving in elementary geometry), security (including highly efficient proofs of correctness of computations that preserve secrecy), timed and stochastic systems, verification, constraints, proof complexity, finite model theory, concurrency and process calculi, semantics of programming languages (including the algebraic theory of effects), game semantics (including categorical combinatories for "innocent" strategies), linear logic, and topology and computable mathematics. (Annotation ©2007 Book News Inc. Portland, OR)
Machine vision and image processing; proceedings.
These proceedings from the conference of September 2007 include abstracts of the invited papers and posters. Topics of presented papers include image and shape representation and recovery, including a paper on shoeprint image retrieval by topological and pattern spectra, two-dimensional and three-dimensional analysis and visualization, including a range image feature extraction with varying degrees of data irregularity, medical and biomedical imaging, including computerized skin lesion analysis, object and event recognition, including non-linear approaches for the recognition of facial expression, image processing, including adaptive pre-filtering techniques for color image analysis, and applications, architecture and systems integration. The editors provide and author index. (Annotation ©2007 Book News Inc. Portland, OR)
Medical information visualisation; biomedical visualisation; proceedings.
The theme of this year's conference was medical image registration, bi-medical visualization techniques, and computer graphics applications in medical imaging. Researchers from both medical and technical fields report on such aspects as deformable registration using spring mass system with cross-section correction, evaluating the computer-assisted quantification of carotid stenosis, visualizing a skeletal dysplasia knowledge base, and a novel medical image segmentation method using dynamic programming. Only authors are indexed. (Annotation ©2007 Book News Inc. Portland, OR)
Microelectronic systems education; proceedings.
These proceedings of the June 2007 conference include papers from academicians and practitioners with a special emphasis on systems engineering. The many papers here include such topics as embedded systems, including an assessment of the market by a leading software producer and reports on teaching undergraduates. Other papers address the challenge of technological education in developing nations, teaching infomatics students the secrets of hardware design, and reaching twenty-first century students about microelectronics and semiconductor technology., active learning techniques in a CAD course, student-specified v. instructor-specified projects, a NASA robotic arm as an example of cooperation among government, industry and a university, low-cost SoC applications, a rapid prototyping course on mobile computer systems and several papers on innovative teaching methods and curricula, including using open-source software. (Annotation ©2007 Book News Inc. Portland, OR)
Natural computation; proceedings; 5v.
The papers contained within this massive five-volume set were presented at the Third International Conference on Natural Computation, held August 2007 in Haikou, Hainan, China (in conjunction with the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, the proceedings of which have been published separately). Presenting original research by an international group of scientists, the 770 papers are organized into broad topics that include neural network learning algorithms, statistical neural network models and support vector machines, cognitive science, bioinformatics and biomedical engineering, pattern recognition and diagnostics, artificial immune systems, and hybrid intelligent computing and application. Author indexed only. (Annotation ©2007 Book News Inc. Portland, OR)
Networking, architecture, and storage; proceedings.
A July 2007 conference brought together researchers and practitioners from academia and industry to discuss current research in China on wireline and wireless networking, high-performance computer architecture, and parallel and distributed data storage technologies. This proceedings presents work from the conference, grouped in sections on architecture, networks, network security, sensor networks, distributed computing and software testing, and architecture and storage. Some specific topics addressed include routing protocols based on double auction for ad hoc networks, PKI- based authentication mechanisms in grid systems, a hybrid key management scheme for secure mobile multicast, and mining moving patterns based on frequent pattern growth in sensor networks. Other topics covered include an efficient SAN-level caching method based on chunk-aging, software fault localization based on testing requirements, and an object-based storage controller based on switch fabric. There is no subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Network computing and applications; proceedings.
A July 2007 symposium served as a forum for researchers from a variety of areas in networking and networked systems, from protocol development to application tuning. Papers from the symposium are grouped in sections on internet traffic, distributed storage, publish/subscribe and peer-to-peer, security, fault tolerance, performance, adaptive and dynamic networks, and trustworthy network computing. Some specific topics addressed include message diffusion in unstructured overlay networks, transparent reliable multicast for Ethernet-based storage area networks, dynamic load balancing for network intrusion detection systems based on distributed architectures, and accelerating Web protocol using RDMA. Other subjects covered include TinyOS-based networks, exact forwarding table partitioning for efficient TCAM power savings, a swarm-based routing protocol for wireless sensor networks, and supporting callable and cooperative interval caching in a clustered video server. There is no subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Networks-on-chip; proceedings.
These proceedings for a first-time symposium focus on architectural, circuits and design research into networks-on-chip (NoC) technologies. They include notes from the keynote and dinner speeches by prominent practitioners and academics as well as papers from sessions, including those on NoC design case studies, technology and circuit techniques, system architecture, verification, debugging, routing and topology, reconfigurable NoCs, CAD and methodology for NoCs and NoC mapping and simulation. The collection also includes papers from poster sessions that encompass a range of topics concerned with designing and applying this relatively new technology, lists of committee members and addresses by symposium leaders. (Annotation ©2007 Book News Inc. Portland, OR)
