Computer Society Press

Asynchronous circuits and systems; proceedings.

This volume collects 18 papers due to be presented at the 13th IEEE (Institute of Electrical & Electronics Engineers) International Symposium on Asynchronous Circuits and Systems, which is scheduled to be held in Berkeley, California in March of 2007. The papers are organized according to seven sessions: high-speed links and signaling, asynchronous applications, verification, novel circuits, synthesis, test and measurement, and interfaces. The volume also provides brief previews of the five scheduled invited talks on superconducting flux quantum logic, creativity in computer-aided design, engineering design of robots, and sources of statistical variation in complementary metal-oxide semiconductor circuits. (Annotation ©2007 Book News Inc. Portland, OR)

Australian Software Engineering Conference, 2007; taming complexity through research and practice; proceedings.

This volume collects the 39 research papers selected for the April 2007 conference on software architectures, formal methods, metrics and testing, and project estimation and management. New approaches to software architecture explore a generic pattern-driven process model, a rapid telecom service delivery platform, dynamic protocol aggregation for service-oriented computing, and influence control for dynamic reconfiguration. Other topics include using stealth mixims to achieve modularity, a Kleene algebra framework for data flow analysis, timed behavior trees, and combining estimates with planning poker. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)

Autonomous decentralized systems; proceedings.

These proceedings feature papers from the Eighth International Symposium on Autonomous Decentralized Systems, held in March 2007 in Sedona, Arizona. Four keynote addresses, a panel, and 66 papers, including the Second International Workshop on Ad Hoc, Sensor and P2P Networks, are presented. Sessions address service orientation; testing and on-line validation; transportation; sensor and ad hoc networks; assurance and fault-tolerance; agent systems and networking; resource abstraction and management; security, safety, and trust; automotive telematics applications; multimedia content and service provisioning; community and context-awareness; and algorithms and control. Presenters are computer scientists from around the world. Only an author index is provided. (Annotation ©2007 Book News Inc. Portland, OR)

Automated specification and verification of web systems; proceedings.

These proceedings from the November 2006 workshop include selected papers from this special track of the second biennial International Symposium on the Leveraging Applications of Formal Methods, Verification, and Validation. Topics include notes on the invited talk on the future of the Web and papers from the session on web verification concerning fixing web sites using correction strategies and filtering of XML documents; the session on web accessibility including those concerning the web accessibility evaluator in a single XSLT file and a lightweight web GUI specification and realization system and its impact on accessibility; and the session on formal networks and web services including those concerning a web-based runtime-reconfigurable role management service and a formal framework for developing secure web services. The editors include a tutorial on modeling interactions of web software. (Annotation ©2007 Book News Inc. Portland, OR)

Availability, reliability and security; proceedings.

The 212 papers of this enormous volume of proceedings were first presented at the April 2007 Second International Conference on Availability, Reliability, and Security, held at the Vienna U. of Technology, in Vienna, Austria. The papers are organized by their session or workshop, with major topics that include trust model and management, software security, security models, access control, authentication, and fault-tolerant distributed computing. The papers present current research and methods. Authored by a fully international group of contributors, each paper includes an abstract and list of index terms, and list of references. Author indexed only. (Annotation ©2007 Book News Inc. Portland, OR)

Cluster computing and the grid; proceedings.

This dense volume contains the 72 papers selected for the May 2007 symposium as well as the 38 papers presented during the seven workshops. The symposium papers explore distributed storage, collaboration, scheduling, cluster technologies, replica management, workload modeling, communication infrastructure, and reliability. Topics include a semantic framework for integrated asset management in smart oilfields, processing mesoscale climatology in a grid environment, profiling computation jobs, a distributed query execution engine, and standardization of an API for distributed resource management systems. The workshops focus on agent-based grid computing, biomedical computations, peer-to-peer computing, programming models, and context-awareness in grid computing. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)

Code generation and optimization; proceedings.

The keynote addresses cover programming a massively parallel processor, and the parallel programming environment as a key to translating tera-scale platforms into a big success. The other 27 papers look at transactions, profiling and instrumentation, memory optimizations, novel architectures, and other topics. Contributors are from industries and universities in North America, Europe, and Asia. Only they are indexed. (Annotation ©2007 Book News Inc. Portland, OR)

Complex, intelligent and software intensive systems; proceedings.

These proceedings consist of papers from the First International Conference on Complex, Intelligent and Software Intensive Systems held at the Vienna U. of Technology in Austria in April of 2007. The 40 papers aimed to deliver a platform of scientific interaction between areas of research and development of future ICT-enabled applications: software intensive, complex, and intelligent systems. They cover theory, design, and application with sessions on wireless networks, grid computing, distributed systems and applications, network performance, P2P systems, data structure and mathematical modeling, middleware systems, network protocols and algorithms, and internet computing. Contributors work in computer science or related fields around the world. Only an author index is included. (Annotation ©2007 Book News Inc. Portland, OR)

Computing; theory and applications; proceedings.

Held in Kolkata, India, in March 2007, the International Conference on Computing: Theory and Applications was organized by the Computer and Communication Sciences Division of the Indian Statistical Institute on the occasion of the Institute's platinum jubilee. According to the conference organizers, the primary goal was to "present the state-of-the-art scientific results, encourage academic and industrial interaction, and promote collaborative research and developmental activities in computing — involving scientists, engineers, professionals, researchers, and students from India and abroad." The conference covered algorithms and architectures in sessions on parallel and distributed computing, mobile and wireless networks, VLSI design, high performance computing, architectures, and algorithms. It also discussed pattern recognition and soft computing in sessions devoted to artificial neural networks, fuzzy sets, support vector machines and clustering, data mining and soft computing, bio informatics, classification and prediction, and application in image analysis. Document, language, and signal processing were discussed in another track of sessions, and the final track explored image processing, computer vision, and graphics, with individual sessions dedicated to graphics, content based image retrieval, image processing, motion and three-dimensional vision, watermarking, biometrics, and remote sensing and image analysis. Including the keynote speech on oncological image analysis and the plenary and invited lectures accompanying each of the four tracks, 126 contributions are presented in all. (Annotation ©2007 Book News Inc. Portland, OR)

Creating, connecting and collaborating through computing C⁵ 2007; proceedings.

Twenty-four papers from the January 2007 conference share experiences with new technologies for education and propose alternative approaches to collaboration environments, computer- supported cooperative works, and technology-enabled learning. Several of the papers extend the capabilities of the Croquet collaboration environment and the Squeak eToy tile programming environment. Topics include indexing conference movies with thinking states, the socialization of personal computing, scalable access control for web services, adding interactivity planes to interactive dynamic geometry, and using the object deputy model for aspect-oriented programming. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)

Data compression conference; proceedings.

Sponsored by Brandeis U. in cooperation with the IEEE Computer Society, the 2007 Data Compression Conference was held in March in Utah. This volume collects the presentations from the conference, including 37 papers given during the technical sessions and 36 poster presentations. Topics addressed in the technical sessions include lossless compression algorithms, source and multiple description coding, quantization theory, vector quantization, encoding with wavelets, bi-level image compression, and video and audio compression. Examples of specific topics include a stochastic model for video and its information rates, spatial sparsity induced temporal prediction for hybrid video compression, differential compression of executable code, parallel decoding for lossless image compression by block matching, high throughput compression of double- precision floating-point data, and Bayesian detection in bounded height tree networks. (Annotation ©2007 Book News Inc. Portland, OR)

Digital game and intelligent toy enhanced learning; proceedings.

Held in March 2007 in Jhongli, Taiwan, the DIGITEL 2007 conference drew researchers and practitioners from around the world to discuss new technologies for learning that use digital toys and games. This proceedings volume contains 11 long papers, 13 short papers, and 20 posters originally presented there. A sampling of topics includes: the influence of robot and virtual learning companions on student engagement; simulation-based game learning environments; and the challenges of deploying educational games in Hong Kong schools. The volume lacks a subject index. (Annotation ©2007 Book News Inc. Portland, OR)

Engineering of autonomic & autonomous systems; proceedings.

Nine papers and three posters from the March 2007 workshop propose new system and software engineering methods for realizing autonomic computing and communications and preparing the self-directing infrastructure for future technologies. Topics include using signatures of self-organization for monitoring large-scale autonomic systems, runtime analysis of a self-adaptive robotic control system, and link integrity on web sites. An industrial report surveys the research landscape and challenges to achieving a self-managing business grid. The second half of the volume contains five papers from the Baltimore meeting focusing on autonomy for space exploration missions, and five articles released through the TFAAS newsletter. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)

Future trends of distributed computing systems; proceedings.

International researchers and practitioners discuss current trends in distributed computing systems and consider possible future directions. Twenty-four papers address such topics as: a Web service- enabled distributed workflow system for scientific data processing; an information model for security integration; and a new fault tolerance technique for wireless and mobile computing systems. The volume (which lacks a subject index) contains material presented in Sedona, Arizona at the 11th (2007) IEEE International Workshop on Future Trends of Distributed Computing Systems. (Annotation ©2007 Book News Inc. Portland, OR)

HPCMP users group conference; proceedings.

This volume contains some of the proceedings of the June 2006 annual Department of Defense High Performance Computer Modernization Program Users Group Conference, which is intended to allow the Department of Defense's science and technology and test and evaluation researchers to share their computational science and engineering results with other Department of Defense researchers. The seventy papers are organized into sections dealing with computational structural mechanics; computational fluid dynamics (CFD); CFD coupled to chemistry, magnetic fields, and structures; ship hydrodynamics and design, computational chemistry and materials science and computational biology; computational electromagnetics and acoustics; climate/weather/ocean modeling and simulation; electronics, networking, and systems and signal/image processing; integrated modeling and test environments; computational infrastructure and software and hardware performance; and MATLAB and the high-level scripting languages of Octave and Python. (Annotation ©2007 Book News Inc. Portland, OR)

Informatics research for development of knowledge society infrastructure; proceedings.

The Second International Conference on Informatics Research for Development of Knowledge Society Infrastructure (ICKS'07) was held in Kyoto, Japan on January 29, 2007. Attendees included those who had just completed a five-year informatics research project at Kyoto U. as well as several invited guest speakers. This proceedings volume contains 23 papers discussing such topics as modeling the dynamic structure of human communication; stochastic and robust approaches to optimization problems under uncertainty; and efficient query evaluation in XML information subscription systems. The volume lacks a subject index. (Annotation ©2007 Book News Inc. Portland, OR)

Information technology; proceedings.

Within this hefty proceedings are 163 papers and 40 poster presentations, first presented at the Fourth International Conference on Information Technology — New Generations, which was held in Las Vegas, NV, in April 2007. The papers are grouped into major topics that include embedded cryptographic systems, internet and wireless network security, new trends in image processing, data mining, and information security and privacy. The contributors are mathematicians and computer engineers at research institutions worldwide. Latifi is at the U. of Las Vegas. Author index only. (Annotation ©2007 Book News Inc. Portland, OR)

Microprocessor test and verification; common challenges and solutions; proceedings.

These proceedings from the December 2006 workshop focus on applications of verification, validation and test to complex circuits at all levels, and includes not only microprocessors, but complex integrated circuits and systems-on-ships (SOCs). Topics on testing include circuit profiling mechanisms for high-level ATPG and functional test selection for high volume manufacturing; those on verification and test generation include a case study on directed micro-architectural testing for an industrial processor and application of formal techniques for coverage and test generation for embedded software validation; those on architectural and design issues include workload slicing for characterizing new features in high performance microprocessors and statistical static timing analysis considering the impact of power supply noise in VLSI circuits; those on design error debugging and diagnosis include debugging support for scalable SOCs and attraction and refinement techniques in automated design debugging. The editors provide an author index. (Annotation ©2007 Book News Inc. Portland, OR)

Modelling & simulation; proceedings.

These proceedings of the March symposium includes abstracts of the plenary speeches, the complete keynote paper, invited papers, and papers chosen from the several hundred submitted from over 40 countries. With an emphasis on high-speed real-time simulation, especially as expressed in the plenary and keynote papers, contributors address such research and application topics as energy, power generation and distribution; geographical information systems; Internet modeling, semantic web and ontologies; parallel and distributed architectures and systems; performance engineering of computer and communication systems; computer games and simulation; intelligent systems; vision and visualization; transport, logistics, harbor, shipping and marine simulation; industry, business and management; and methodologies and tools. (Annotation ©2007 Book News Inc. Portland, OR)

Model-based methodologies for pervasive and embedded software; proceedings.

This proceedings volume contains 12 papers from the 4th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2007). It opens with a discussion of the applicability scope of model driven engineering (MDE). Other topics include (for example) a generic execution framework for models of computation, and the design of a unified process for embedded systems. The volume lacks a subject index. (Annotation ©2007 Book News Inc. Portland, OR)