Dotnetcat » .NET Books » Performance books

This book constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in Taipei, Taiwan in October/November 2004.

The 24 revised full papers presented together with abstracts of 6 invited presentations and 7 special track papers were carefully reviewed and selected from 69 submissions. Among the topics addressed are model-checking theory, theorem-proving theory, state-space reduction techniques, languages in automated verification, parametric analysis, optimization, formal performance analysis, real-time systems, embedded systems, infinite-state systems, Petri nets, UML, synthesis, and tools.

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verificaton and Analysis, ATVA 2006, held in Beijing, China in October 2006.

The 35 revised full papers presented together with abstracts of 3 keynote papers were carefully reviewed and selected from 137 submissions. The papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.

This is a NAVAL POSTGRADUATE SCHOOL MONTEREY CA report procured by the Pentagon and made available for public release. It has been reproduced in the best form available to the Pentagon. It is not spiral-bound, but rather assembled with Velobinding in a soft, white linen cover. The Storming Media report number is A969583. The abstract provided by the Pentagon follows: Due to a shift in the interest in wireless applications, from outdoor to indoor environments. new modelling solutions had to be designed to account for the immense complexity of the latter. Essentially, two categories of indoor propagation models prevailed until the mid-9O's: the Empirical and the Physical models. They both predicted important characteristics of a given confined environment like the coverage area, transmitted power requirements. number and location of base stations or access points. The implementation of wireless communications systems onboard naval assets is expected to offer numerous advantages and enhance the existing shipboard communications systems. That, in turn, calls for a reliable and cost-effective means of estimating the expected link budget in such environments, especially when the infrastructure in question is yet to be built, as is the case in a ship class under development. This thesis treats the problem of indoor propagation modeling using the Numerical Electromagnetic Code-Basic Scattering Code (NEC-BSC) and compares the predicted results obtained by this code with actual measurements performed inside a building at the Naval Postgraduate School. A number of important conclusions regarding the validity of NEC-BSC for indoor applications are being reached and some intriguing statistical results are being presented.

The Web has continued to deliver value to companies as an efficient and effective means of communicating information and interacting with their customers, employees, partners, suppliers, media, investors, and other third-parties. Part of the reason for the success of the Web in being so core to a company’s operations is that it allows for organizations to deliver distributed applications on a global scale for significantly less cost than it would be using other, more traditional forms of communication or computing interaction.

However, the major downside to the web is its performance. Simply put, enterprises have not mastered the art of making web-based applications, and especially highly transactional ones, responsive to end users. While enterprises have focused on speeding up servers and networks, users continue to experience poorly performing applications. Due to the inherent design of standard web applications, an upgrade of enterprise applications with a focus on the client is often proving to provide dramatic improvements in application performance. JackBe, a pioneering startup company, is at the forefront in enabling enterprises to deliver high performing web applications with their innovative rich client-based solution that they claim is in use by more then 2 million end users.

As XML continues to proliferate on the corporate network, companies increasingly desire approaches that provide capabilities for security, management, process, and data manipulation without degrading overall network performance. As a result, hardware platform vendors are providing solutions that are able to offer substantially higher performance over purely software-based solutions. As a result, companies need new approaches to deal with messages on the network that stress the capabilities of the general purpose hardware and software that now deals with the problem.

Sarvega aims to meet these needs with a family of appliance and OEM-able software solutions that provide wire-speed solutions for XML and Web Services security, transformation, and emerging messaging needs. The company has also recently announced the Sarvega XML Context Router, an XML appliance that provides secure and reliable routing and messaging capabilities for XML at wire speed based on deep content inspection and publish/subscribe messaging.

Two of the often conflicting desires in IT is the need on the one hand for rich user interfaces that maximize a user’s productivity and on the other hand, the desire to decentralize computing so that a user can gain access to the widest base of IT assets at the lowest possible cost. These two forces are at odds because rich client interfaces, until recently, have only been possible in certain limited scenarios in which the business logic and computing resources were combined with the interface.

However, a new class of presentation layer is emerging. This rich client interface to Web Services provides an end user experience that is similar to client/server applications, with a rich graphical user interface, responsive performance and highly interactive functionality. In this vein, Nexaweb provides a software platform that combines the richness of client/server and desktop applications with the ability to interact with high-performance, distributed, Web Services-based applications. With Nexaweb, applications look and perform like locally-installed software, though most or all of the code is actually distributed across the enterprise network or beyond.

Financial Service Providers are essentially information-based businesses: their primary asset is the information they store and share. These companies are struggling today with finding the most flexible and cost-effective means to integrate and aggregate information from a wide range of unstructured and semi-structured enterprise data sources. Today’s integration solutions are either targeted only at structured sources of information such as databases, or are too rigid and expensive to handle enterprise information integration and aggregation needs. Furthermore, the unique requirements of Financial Services firms for real-time, scalable access to disparate information has not been successfully met by today’s vendors.

This paper presents a solution in the form of a mid-tier information aggregation server that provides an XML-based operational data store as a way of providing aggregated access to multiple data sources. Raining Data’s TigerLogic XDMS is used as a strong example of an XML operational data server that provides a way to store and aggregate semi-structured and structured data from a wide variety of sources, XML-enables access to aggregated information and does not require the user to know the structure of data in advance or make any modifications, mapping, or transformations to those data.

Targeted at line-of-business users, corporate architects, as well as IT managers at Financial Services firms, this paper helps readers find a better way to integrate and aggregate disparate systems in the enterprise while lowering costs and off-loading performance from back-end operational servers. Readers will gain a critical understanding of how XML operational data stores can be used in the mid-tier to aggregate data from the heterogeneous sources in the Financial Services enterprise.

Professional services firm Accenture’s core mission is to improve the business performance of its clients. Accenture accomplishes this mission through a combination of business process expertise and technical consulting. Accenture’s technology roadmap offers their clients an approach to building information technology solutions and approaches that will meet the goal of business performance improvement.

Accenture believes that Service-Oriented Architecture (SOA) will underpin this technology roadmap. They believe SOA will be the single dominant technical architecture in the future, driven primarily by the need for interoperability. As a result, they are recommending and implementing SOA-based approaches for improving the business of clients worldwide.

Market Overview:

• New approaches are needed to deal with XML-based messages being exchanged on the network that are exceeding the capabilities of the general purpose hardware and software that is now being applied to the problem.

• XML traffic is expected to increase from under 15% of all network traffic on the network in 2004 to just under 48% of all LAN network traffic by 2008.
• The total XML performance optimization market will reach $1.2 billion by 2010.

• The effective processing of Very Large Messages (messages that exceed the capabilities of general-purpose processors) is an issue that threatens the long-term viability of SOA implementations.