Computer Society Press
On-line testing symposium; proceedings.
These proceedings feature 56 articles from the 13th IEEE International On-Line Testing Symposium held in Heraklion, Crete, Greece, in July of 2007. In addition to a summary of the tutorial (part of the IEEE Computer Society Test Technology Technical Council Test Technology Educational Program) and keynote and invited talks, sessions, posters, and panels cover such topics as reliability issues in nanometer technologies, network-on-chip reliability, fault tolerance, secure systems, large scale dependability, and the dependability of processors. Other coverage is of SoCs and asynchronous circuits, aging and wearout issues and mitigation approaches, radiation effects, signal integrity and error compensation, SER trends, fault tolerance, on-line and processor- based testing, and self-checking and self-testing. Only an author index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Parallel and distributed computing; proceedings.
These proceedings of the July 2007 symposium includes 48 papers reflecting the dynamics of this rapidly expanding field, including several case studies, application reports, and a full treatment of the invited talk on knowledge-based platforms for environmental risk management. General topics include parallel computing, with papers on a new execution mechanism for distributed pipeline processing, real-time systems, including a prototype of a social- and economically-based resource allocations system in grid computing, grid computing, including a fully distributed active and passive task management system, peer-to-peer computing, including a new iterative method to improve Internet distance estimation, distributed software components, scheduling and load balancing, cluster computing, programming paradigms and related issues, mobile computing, fault tolerance, and scientific computing and simulations. (Annotation ©2007 Book News Inc. Portland, OR)
Policies for distributed systems and networks; proceedings.
As new technologies mature, or take hold in various formats or configurations, master practitioners and leading industries must assemble policies that will make these technologies work across a variety of applications. These proceedings for the June 2007 workshop include materials on the invited talks and posters. as well as the papers, which cover modeling policies, policy design and management, XML-based policies, policy languages, software policy languages, policy enforcement, policy analysis and semantic enhancements, policy negotiations and resolution, and applications. (Annotation ©2007 Book News Inc. Portland, OR)
Principles of advanced and distributed simulation (PADS 2006); proceedings.
Papers from a June 2007 workshop reveal recent work in federated applications, asynchronous methods, data distribution and HLA, social science simulations, network simulation, optimistic parallel simulation, computer system simulations, and load balancing. Specific topics addressed include adaptive support for range queries via push- pull algorithms, asynchronous event-driven particle algorithms, macro- micro economic system simulation, and modeling and simulation of TCP MANET worms. Other subjects explored include parallel simulation of hybrid network traffic models, a federated simulation environment for hybrid systems, a flexible dynamic partitioning algorithm for optimistic distributed simulation, and a GPU-accelerated evaluation platform for high fidelity network modeling. There is no subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Program comprehension; proceedings.
Papers from a recent conference on program comprehension describe progress in software analysis, reverse engineering, software evolution, and software visualization. Papers are in sections on feature and concept analysis, dynamic analysis, conceptual models, and empirical studies, as well as mining software repositories, aspects mining, static analysis, visualization, and tool demonstrations. Specific subjects examined include mining software repositories for traceability links, a hybrid program model for object-oriented reverse engineering, and using Bayesian belief networks to predict change propagation in software systems. Other topics covered are recovery of workflows from multi-tiered e-commerce systems, interactive visualization of use cases, and metrics for measuring the effectiveness of decompilers and obfuscators. There is no subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Quality electronic design; proceedings.
This dense volume collects the 93 papers and 42 posters selected for the March 2007 symposium on the improvement of IC design quality, particularly with respect to device robustness, yield, testability, productivity, and overall system cost. The researchers present recent results in package circuit co-design, interconnects and power grids, parametric variations, analog and RF testing, low power circuits, lithography and OPC, DFM process, and modeling for soft error reliability. Topics include combating NBTI degradation via gate sizing, characterizing standard cell behavior at 90nm and below, speculative energy scheduling for LDPC decoding, and recursive function smoothing of half-perimeter wire length for analytical placement. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Rapid system prototyping; proceedings.
Presented here are 30 papers from the 18th IEEE/IFIP International Workshop on Rapid System Prototyping, which was held in May of 2007 in Porto Alegre, Rio Grande do Sul, Brazil. Sessions cover co-design, HW performance, formal specification, prototyping and development methodologies and tools, testing, applications, FPGA and SW algorithms, and nine short papers on FPGA and applications, HW performance, co-design and tools, and formal specification. Contributors are computer science researchers and practitioners in industry and academia from different parts of the world. Only an author index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Security and privacy; proceedings.
This volume collects 29 papers for the May 2007 Institute of Electrical and Electronics Engineers Symposium on Security & Privacy. The papers address network security, authentication, privacy, access control and audit, information flow, host security, hardware and replication, and encryption. Examples of specific topics address include real-time identification of IP prefix hijacking, cryptanalysis of a cognitive authentication scheme, network flow watermarking attacks on low-latency anonymous communication systems, usable mandatory integrity protection for operating systems, using rescue points to navigate software recovery, optimal communication complexity of multiphase protocols for perfect communication, and multi-dimensional range query over encrypted data. (Annotation ©2007 Book News Inc. Portland, OR)
Security, privacy and trust in pervasive and ubiquitous computing; proceedings.
Asian and European researchers report recent milestones in their continuing effort to improve security and privacy in computer systems that are everywhere all the time. Among their 15 topics are a survey on the applicability of trust management systems for wireless sensor networks, and secure mobile radio-frequency identification systems against privacy and security problems. Only authors are indexed. (Annotation ©2007 Book News Inc. Portland, OR)
Services computing; proceedings.
The proceedings of the July 2007 conference consists of 29 research papers, six short papers, 50 industry papers, and 19 works in progress. The research papers explore service-oriented architecture, business process integration, service agreements, work flow management, and web service discovery. The industry papers describe a distributed e-healthcare system, fault-tolerant middleware architectures for storage services, a public administration domain ontology, agent-mediated knowledge sharing, and efficient integration of web services in portals. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Service-oriented computing and applications; proceedings.
These 37 papers from the June 2007 conference explore web services technologies, service-oriented architectures, service systems development, operational models, services quality, application development, and run-time services. The researchers present a new approach to the formal verification of workflow-based compositions of web services, an ontology-based dynamic process collaboration framework, and a network description for high-performance grid computing. Other topics include negotiating agreements using policies in ubiquitous computing scenarios, improving transparent adaptability in web service composition, allocating services to applications using Markov decision processes, and run-time testing of third party web services. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Services; proceedings.
These proceedings of the July 2007 event include materials from the workshops intended to support the main conference by giving participants opportunities to describe emerging issues and technologies related to service-oriented architecture in conjunction with the 2007 IEEE International Conference on Web Services (ICWS) and Services Computing (SCC). Many of the papers and materials here address models for service-oriented architecture (SOA) in distributed computing and e-business processing. Topics of workshops include modeling, design and analysis for SOAs; semantic web for services and processes; service-oriented techniques for biological databases and tools; service and process oriented software engineering; scientific work flows; web service composition and adaptation; web services testing; web X.0; and entrants in the Ph.D. symposium describing a language-action perspective as a theoretical framework for web services, a critical review of unsecured WEP, and a systematic analysis and design approach to develop adaptable services in service-oriented computing. (Annotation ©2007 Book News Inc. Portland, OR)
Shape modeling and applications; proceedings.
Twenty-three full papers and four short papers from a June 2007 conference are presented here, focusing on shape matching and retrieval, modeling with implicit surfaces, and various issues of shape analysis, representation, and processing. Other subjects examined are animation and modeling human characters, shape compression and simplification, shape acquisition and reconstruction, and meshing. Some specific topics explored include certified meshing of families of isosurfaces, automatic generation of bas-reliefs from 3D shapes, deforming surface simplification based on dynamic geometry sampling, and topological correction of hypertextured implicit surfaces for ray casting. Other topics are skeleton-based hierarchical shape segmentation, hierarchical spatial hashing for real-time collision detection, robust smooth feature extraction from point clouds, and texture atlas generation for inconsistent meshes and point sets. There is no subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Software engineering; companion volume; proceedings.
The companion volume to the May 2007 conference proceedings consists of a full-length paper on mobile code evolution over the last ten years, a retrospective on Peopleware, 15 informal research demonstrations, 16 doctoral proposals, 21 workshop summaries, and 17 tutorials. The research demonstrations present tools for simulating use case scenarios, robustness testing of web services, checking temporal metric specifications, and developer documentation. Tutorial topics include mining software engineering data. Migration of legacy assets to service-oriented architectures, variability management in software product line engineering, and a cost-benefit analysis of software development techniques. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Software engineering education & training; proceedings.
A July 2007 conference on software engineering education emphasized issues arising in the specific context of globalized software development. Forty papers from the conference are presented here in sections on student projects, educational theory and pedagogy, meeting the needs of industry, curriculum and design of courseware, learning environments and tools, drivers for effective software engineering education, innovative tools for delivery of instruction, software architecture in software engineering education, and larger societal aspects. Some specific topics examined include increased retention of computer science and software engineering students using pair programming, using students as subjects in experiments, student collaboration using wikis, and laptop enabled active learning in the classroom. (Annotation ©2007 Book News Inc. Portland, OR)
Software engineering; proceedings.
The proceedings of the May 2007 conference consists of 49 research papers, 15 experience reports, 13 education papers, and 12 formal research demonstrations. The research papers explore program analysis, software models, testing, clone detection, aspect-oriented software engineering, maintenance, debugging, and security. The experience reports study performance evaluation for legacy information systems, the evolution of an agile-developed software system, company-side implementation of metric for early fault detection, application of ISO and CMMI to software process maturity. Demonstration topics include a program slicing tool for declarative specifications, topology-based searches for software investigation, visualization of code clones in context, and advanced mechatronic systems. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Temporal representation and reasoning; proceedings.
These proceedings of the June 2007 symposium include reports from contributors working in diverse fields within the study of representing and reasoning about temporal phenomena, including artificial intelligence, linguistics, temporal/spatial databases and applications of temporal logic in computer science. Topics include temporalizing tractable description logic, relational temporal machines, a proposal for a temporal-to-temporal query language, automated natural deduction for propositional linear-time temporal logic, conceptual modeling of temporal clinical workflows, the equivalence of automation-based representations of time granularities, and a comparison of statistic and rule-induction learners for automatic tagging of time expression in English. This includes notes on the invited talks and also short and poster papers along with external references. (Annotation ©2007 Book News Inc. Portland, OR)
Theoretical aspects of software engineering; proceedings.
This volume collects 46 papers from the first International Symposium on Theoretical Aspects of Software Engineering, held in June 2007. The papers describe advances in such areas as formal methods, safety and reliability security issues, service systems, software architecture and frameworks, testing techniques, verification and validation, and workflow analysis. A few examples of specific topics include unified modeling and analysis base on Petri nets and pi calculus, model checking software at compile time, automating language evolution, specification-based test generation and optimization using model checking, and consistency and minimality of UML class specifications with multiplicities and uniqueness constraints. The volume also contains a tutorial on varieties of static analyzers, as well as keynote speech abstracts on software security and abstractions for real-time systems. (Annotation ©2007 Book News Inc. Portland, OR)
VLSI test symposium; proceedings.
These 59 papers from the May 2007 symposium addresses challenges in semiconductor design, RF and analog test, delay test, memory test, diagnosis, online test, SOC test, and fault prediction. The contributors propose a low-cost RF MINO test using a single measurement set-up, power virus generation using behavioral models of circuits, a multimode Illinois scan architecture for reducing test time and data volume, and an RTL coverage metric for functional test selection. Other topics include silicon evaluation of static alternative fault models, clock fault testing for high performance microprocessors, and the effects of embedded decompression and compaction architectures on side-channel attack resistance. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Voronoi diagrams in science and engineering; proceedings. (CD-ROM included)
A July 2007 symposium brought together researchers from many disciplines to present the latest developments and applications of Voronoi diagrams, a type of data structure in computational geometry. Key topics for the symposium were theoretical aspects of Voronoi diagrams, computational and implementation aspects of Voronoi diagrams, generalization of Voronoi diagrams, Voronoi art, and applications of the Voronoi/Delaunay methodology to other areas. Papers from the symposium are presented here, covering specific topics such as greedy beta-skeletons in three dimensions, high-order Voronoi sculpture, and the role of quasi-regular tetrahedra in dense ordered packings of hard spheres. Other subjects examined include a new algorithm in geometry of numbers, variants of a jump flooding algorithm for computing discrete Voronoi diagrams, and Voronoi tessellations, spatial patterns, and clustering across the universe. There is no subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Web services; proceedings.
The web exists weightless in cyberspace, but writings about it from the 2007 conference in Salt Lake City, Utah occupy a volume measuring about four inches thick, which, nevertheless seems bound well enough for practical use if the reader sits at a desk and not in an armchair with a cup of coffee in one hand. The subject is Internet-based application components that use the standard interface description languages. The fifth year of the ICWS program features papers on specifications and enhancements, services discovery and integration, security, services modeling, applications and solutions, and semantics in Web services. The research track of the conference comprises 48 papers selected from 266 submissions, in 16 sessions; the applications services and industry track consists of 92 papers, in 31 sessions, selected with an eye toward their contribution to practical solutions. A third track presents work in progress in nine sessions devoted to various aspects of quality of service and interoperabiity, service composition and identity management, modeling and composition, security and trust, business process management, grid and utility computing. The volume is not indexed. (Annotation ©2007 Book News Inc. Portland, OR)
