Computer Society Press
Network and parallel computing; proceedings.
The 176 papers selected for the September 2007 conference are divided into eight workshops on data-driven engineering, network and system security, storage management for ubiquitous computing, performance analysis, parallel and distributed systems, intelligent computing, image processing, and data management. The cutting-edge researchers present a chaos encryption algorithm based on parameter randomly changing, a session-oriented adaptive load balancing algorithm, topology control for wireless sensor networks, an SLA-based admission controller for MPLS networks, and a secure ring signcryption scheme. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Next generation mobile applications, services and technologies; proceedings.
A September 2007 conference on mobile applications brought together international experts from the fields of research, business, and policy to discuss collaboration and knowledge transfer between government agencies, major industry players, SMEs, and academia. Papers from the conference are presented in sections on applications, IMS and convergence, services, SIP networking, charging and QoS, middleware, wireless technologies, security and interfaces, nomadic and ubiquitous computing, and broadband wireless access. Some specific areas covered include rich media service creation for interactive mobile TV, proactive policy management using TBVH mechanisms in heterogeneous networks, and kinetic user interfaces for flexible mobile collaboration. Other topics include algorithms for the automatic design of WiMAX networks, incentives for resource sharing and cooperation in a grid computing system, and a queue management predictive controller using neural networks. There is no subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Parallel architecture and compilation techniques (PACT 2007); proceedings.
Proceedings of a September 2007 multidisciplinary conference held in Brasov, Romania, bringing together international researchers from the hardware and software areas to present original research related to parallel systems. Sixty-eight contributions are organized into sections on hardware systems, software pipelining, verification and security, optimizations, energy conservation, algorithms, processors, compilers, modeling and measurement, transactional memory and locks, and poster abstracts. A sampling of topics: architectural support for the stream execution model on general-purpose processors, software-pipelining on multi-core architectures, verification-aware microprocessor design, extending object-oriented optimizations for concurrent programs, reducing energy consumption of on-chip networks through a hybrid compiler-runtime approach, early register release for out-of-order processors with register windows, a loop correlation technique to improve performance auditing, using predictive modeling for cross-program design space exploration in multicore systems, component-based local allocation, ring prediction for non-uniform cache architectures, and studying asynchronous shared memory computations. No subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Peer-to-peer computing; proceedings.
This conference proceedings presents 26 regular papers, six short papers, and five demonstration papers from a September 2007 conference. Papers are grouped in sections on security, searching and query management, routing, overlay networks, data management, services and applications, and overlay construction. Topics examined include completeness estimation of range queries in structured overlays, handling network partitioners and mergers in structured overlay networks, the impact of vertical handovers on cooperative content distribution systems, and distributed automatic file description tuning in peer-to-peer file-sharing systems. Other topics covered include self-stabilization in preference-based networks, the design and evaluation of techniques for route diversity in distributed hash tables, and the effect of virtual media on business usage of peer-to-peer. There is no subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Quantitative evaluation of systems; proceedings.
Papers from a September 2007 conference describe recent research in networking, specification formalisms, performance analysis, automated model analysis, model checking, symbolic analysis of Markov chains, process algebra, performance models, stochastic logic, and system modeling. Specific areas examined include simultaneous transient analysis of QBD Markov chains using a level-based recursion, interchange formats for performance models, automated analysis of simulation traces, and probabilistic model checking modulo theories. Other subjects are signature-based symbolic algorithms for optimal Markov chain lumping, symbolic bisimulations for probabilistic systems, performance modeling of a quorum pattern in layered service systems, stochastic game logic, and a performance analysis tool for scenario-aware streaming applications. There is no subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Quality of information and communications technology; proceedings.
Centering on best practices and including the research of researchers from four continents, these proceedings of the September 2007 conference include six short papers describing Ph.D. dissertation proposals on particular aspects of software engineering and methodologies. The 16 scientific papers published here (materials from the industrial track, including technical workshops, tutorials, panel and tool demos are published on the conference's website) include invited papers on international standardization in software and systems engineering and an assessment of commercially available process improvement software. Reviewed papers cover software product quality, including a practical model for measuring maintainability, software methodologies and quality assurance, including updating OO-method function points, software process improvement methods, including a comparative study of approaches, middleware and service architectures, including a scalable system with passive monitoring, quality on the web, and case studies of software improvement processes from Brazil and Japan. (Annotation ©2007 Book News Inc. Portland, OR)
Quality software; proceedings.
This publication features the proceedings of the Seventh International Conference on Quality Software, held in Portland, Oregon, in October of 2007. Four abstracts from position papers and 54 regular and short papers are presented by an international group of contributors working in computer science, engineering, and information technology on creating, enhancing, and nurturing software quality across process, system, service, and application boundaries and interfaces. Coverage is of topics such as software testing, distributed systems, software security and model checking, embedded systems, component-based systems, software quality and reliability, architecture and components, modeling, model construction, and checking, as well as workshop papers from the First International Workshop on Software Test Evaluation. Only an author index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Reliable distributed systems; proceedings.
Papers from an October 2007 symposium reveal the latest work on distributed systems design and development, particularly in the areas of reliability, availability, safety, security, trust, and real time. Papers are presented in sections on wireless and sensor networks, replication in distributed systems, fault tolerance, software engineering for reliable systems, fault detection and diagnosis, security, system dependability evaluation, real-time applications, and distributed systems. Some specific paper topics are model checking of consensus algorithms, using hidden semi-Markov models for effective online failure prediction, thwarting code injection attacks with system server interface randomization, evaluating Byzantine quorum systems, and a framework for evaluation of intrusion-tolerant certification authority systems. There is no subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Requirements engineering; proceedings.
An October 2007 conference dealt with the challenges that globalization is making on requirements engineering (RE) across organizations and cultures. Papers from the conference are presented here, in sections on visions and innovations, models and processes, collaboration and quality, RE and business alignment, natural language processing meets RE-traceability and quality, RE and globalization, methods and frameworks, specifications and verification, product line engineering, product requirements and prototyping, requirements processes and management, and methods in practice. Some specific areas of investigation include value-based requirements traceability, automated requirements triage, branding and communication goals for content-invasive interactive applications, blind user requirements engineering for mobile services, and consistency checking of conceptual models via model merging. (Annotation ©2007 Book News Inc. Portland, OR)
Reverse engineering; proceedings.
Proceedings of an October 2007 conference held in Vancouver, B.C., Canada, centered around the use of evolution history for reverse engineering. Forty-two contributions are organized into sections covering keynote addresses, program analysis, program comprehension, mining software repositories, data reverse engineering, visualization and understanding, software clones, reengineering interfaces, protocol and state machine recovery, clustering, tool demonstrations, Ph.D. symposium, tutorial, and workshops. A sampling of topics: the dark side of software reverse engineering, interprocedural static single assignment form, documenting typical crosscutting concerns, quality assessment based on attribute series of software evolution, recovering data models via guarded dependences, clone detection via structural abstraction, turning web applications into web services by wrapping techniques, dynamic protocol recovery, lossless comparison of nested software decompositions, and emulated breakpoint debugger and data mining using detours. No subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Semantic computing; proceedings.
This volume consists of the proceedings of the International Conference on Semantic Computing (the first IEEE International Conference on Semantic Computing), held in Irvine, California, in September of 2007. Ninety-nine papers, panel discussions, workshop sessions, and keynote speeches are presented by an international group of scientists and researchers, addressing emerging technologies and the latest research and development results in all areas of semantic computing. Topics encompass text understanding and natural language processing, services and software engineering, content-based retrieval and semantic annotation of multimedia contents, knowledge engineering and data mining, multimedia, audio, and visual semantics, semantic web, modeling services and software engineering, concept-based multimedia mining and retrieval, and multimedia knowledge management and processing. Only an author index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Software Engineering and Advanced Applications; proceedings.
The 48 papers in this collection from the August 2007 conference are divided into three tracks on component-based software engineering, multimedia and telecommunications, and software process and product improvement. The researchers propose a taxonomy of information security for service-centric systems, a transit-stub architecture for peer-to-peer SIP, a framework for customizing quality assurance techniques, and a two-step model for defect density estimation. The volume concludes with three special sessions on next generation web computing, service orientation, and software management. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Software engineering and formal methods; proceedings.
The 36 papers selected for the September 2007 conference explore reasoning, logic, and semantics for software engineering, and share recent advances in testing, model checking, security, specification, and verification. Three case studies evaluate a model-driven architecture for cancer research, the time-triggered CAN startup protocol, and a method for testing program generators. Other topics include the Mondex electronic purse, proving termination by divergence, verified message encoding for security protocols, and an algebraic approach to linking the semantics of web services. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Software engineering, artificial intelligence, networking and parallel/distributed computing; proceedings; 3v.
This 3-volume proceedings contains the 537 papers presented at the 8th International Conference on Software Engineering and the 3rd International Workshop on Self-Assembling Wireless Networks held at Qingdao Technological U. in China in July 2007 and sponsored by the International Association of Computer and Information Science and Central Michigan U. The papers are not presented in topical order. A sampling of paper topics includes identity-based cryptography for grid; fuzzy integrative performance evaluation for supply chain system, the design and implementation of XML-based workflow engine, and using Trust Metric to detect malicious behaviors in WSNs. A name index concludes each volume; there is no subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Software engineering research, management and applications; proceedings.
The proceedings of the August 2007 conference consists of 124 papers on software architecture and process models, communication systems, ubiquitous IT applications, reverse engineering, object-oriented technology, multimedia computing, and web-based applications. The contributors present new approaches to artificial intelligence, reliability modeling, knowledge management, mobile computing, software reuse, testing, and computer animation. Topics include performance of MANET multicast routing algorithms with multiple sources, load balancing using connection pool in RFID middleware, kernel-based learning suitable for text categorization, reengineering class hierarchies into 3D bridge form, and dead code elimination in CTOC. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Software engineering workshop; proceedings.
This workshop began with a focus on NASA and the software engineering peculiar to it but now covers topics ranging from architectural issues and testing to modeling and verification, requirements, tools, systems (distributed, grid and real-time), software safety and reliability, and development methods, issues and patterns. Produced as a post-proceeding so the international slate of authors can reflect feedback received at the March 2007 workshop in the final versions, the 30-plus papers cover such topics as the applicability of agile practices to mission and life-critical systems, flexible and executable usability patterns standards, aspect-oriented requirements, style-specific architectural refactoring patterns, aspect connectors for software architecture adaptation, testing patterns, cognitive decision making, compensable transactions, shuttle applications for a method of predicting reliability, abstracted pointers for a verifying compiler, process algebra in modeling and verifying web services, provisions for an automatic business grid and a style-based beginning to architectural network-centric software systems. (Annotation ©2007 Book News Inc. Portland, OR)
Software evolvability; proceedings.
Eleven papers from the October 2007 workshop present descriptive and predictive models of software change for improving the evolvability of real software systems. Several of the researchers offer their evidence and reasoned opinions on how the requirements of a software-based system can be effectively evolved or made more evolvable. Topics include design pattern detection, attributes for characterizing the evolution of architectural design decisions, a technique for planning co-evolution in product software startups, and a requirement level modification analysis support framework. No subject index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Software Product Line Conference; proceedings.
Papers from a September 2007 conference, 28 in all, are presented here. Research papers investigate topics such as feature modeling, variability management, and aspect-oriented technologies. Experience papers from both engineering and IT fields examine areas such as establishing a software product line for an aerospace engine monitoring system, experiences with product line development of multidiscipline analysis software, and introducing software product line engineering for metal processing lines in a small to medium enterprise. Other topics covered include higher-order transformations for product lines, a variability modeling method for adaptable services in service-oriented computing, and supporting product derivation by adapting and augmenting variability models. (Annotation ©2007 Book News Inc. Portland, OR)
Software reliability engineering; proceedings.
Papers from a fall 2007 conference, 26 in all, report on software testing and verification, estimation and prediction of software dependability, and metrics, measurements, and methods for software quality prediction. Papers are presented in sections on reliability of software systems, verification and validation, security testing and analysis, test automation, software security, testing techniques, metrics, and quality prediction. Some specific topics addressed include automated Oracle comparators for testing Web applications, requirement error abstraction and classification, and statistical inference of computer virus propagation using non-homogeneous Poisson processes. Other subjects examined are generation of trace-sets for model-based testing, using in-process testing metrics to estimate post-release field quality, and predicting subsystem defects using dependency graph complexities. There is no subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Source code analysis and manipulation; proceedings.
From the Seventh IEEE International Working Conference on Source Code Analysis and Manipulation, held in Paris in September and October of 2007, these proceedings consist of 22 papers and a keynote paper on theory, techniques, and applications relating to the analysis and manipulation of the source code of computer systems, with a focus on the algorithms and tools themselves, what they achieve, and how they can be improved, refined, and combined. Papers, written by researchers and practitioners from Europe, North America, and Japan, discuss slicing, static analysis, transformations, tool demonstrations, metrics and empirical studies, and comprehension. Only an author index is provided. (Annotation ©2007 Book News Inc. Portland, OR)
Testing; academic and industry; practice and research techniques; proceedings.
Proceedings of a September 2007 conference held in Windsor, England. Thirty-two contributions are organized into sections on automatic test case generation; techniques, methods and tools; model-based testing; PhD papers; fault localization and prediction; constraint-based testing and constraint solving; posters; model-based mutation; mutation analysis tools; experimentation with mutation; and mutation for security testing. A sampling of topics: abstracting symbolic execution with string analysis, early UML model testing using TTCN-3 and the UML testing profile, test effort estimation models based on test specifications, software fault prediction using language processing, a comparison of tabular expression-based testing strategies, mutation testing from probabilistic finite state machines, Jumble Java byte code to measure the effectiveness of unit tests, leveraging a commercial mutation analysis tool for research, and lightweight state base mutation testing for security. No subject index. (Annotation ©2007 Book News Inc. Portland, OR)
Tools with artificial intelligence; proceedings; 2v.
The 172 papers of this proceedings are organized by session and therefore by subject, making them easy to locate. Among the session topics are artificial intelligence in bioinformatics, in robotics, and in software engineering, and machine learning. Eight papers are devoted to algorithms. The papers were first presented at the 19th IEEE International Conference on Tools with Artificial Intelligence, held in Patras, Greece, in October 2007, where it was co-sponsored by the U. of Patras and the ATRC of the Wright State U. An author index, but no subject index, is included in each volume. (Annotation ©2007 Book News Inc. Portland, OR)
Visual languages and human-centric computing; proceedings.
Papers from a September 2007 symposium, 29 in all, highlight theoretically rooted, empirically driven, validated research into human-centric programming languages and environments. The main themes of the symposium were software engineering theory, teaching and learning, domain-specific or end-user tools, end-user programming evaluations, visualization approaches, formal methods for domain specific and end-user applications, web development approaches, and empirical studies. A final section of papers presents material from the symposium's graduate student consortium. Specific paper topics include children as unwitting end-user programmers, scenario-based requirements for web macro tools, free-choice collaborative learning through social computing, end-user development for teenagers, trace visualization and exploration for reactive systems, and controlling transparency in an online learning environment. There is no subject index. (Annotation ©2007 Book News Inc. Portland, OR)
