СКИДКИ - РАСПРОДАЖА

Интернет, Интранет, компьютерные сети
Локальные и корпоративные сети

Наименование:

A Formal Framework for Run-Time Verification of Web Applications. An Approach Supported by Scope Extended Linear Temporal Logic

Автор:   May H.
мягкая обложка
188 страниц
2009 год
Издательство:   Книга по Требованию
Цена:
2766 руб
отсутсвует
на складе

способы доставки и оплаты
Описание:These are based on the analysis of Web quality rules, written in English prose. Operators that facilitate specifying properties over propositional scopes are introduced, where each scope constitutes a subset of states that satisfy a propositional logic formula. With the pervasive and accelerating growth of web applications, correctness is a primary concern. Meanwhile, software communities are increasingly adopting formal methods, mainly to achieve reliability and better automation, to analyze various types of applications. It includes 119 patterns specified in LTL. Also, the problem of property specification in LTL over a subset of states of a system under test is addressed. In this work, a communicating automata modeling technique is proposed using the dynamic analysis approach to infer models from user-based execution traces of Web applications. Finally, to facilitate the use of formal methods in conventional web engineering techniques, a library of web specification pattern is proposed. These models are used to verify properties of Web applications by means of model checking technique.


Orthomol Immun Junior Сила иммунитета на страже Вашего ребенка

2990 руб
Бесплатная доставка


C# 2008 Programmer's Reference

This library enables you to develop applications ranging from desktop Windows applications to ASP.NET web applications, and Windows Mobile applications that run on Pocket PCs. Common Language Runtime The Common Language Runtime (CLR) is the virtual machine in the .NET Framework. It sits on top of the Windows operating system (Windows XP, Windows Vista, Windows Server 2008, and so on). A .NET application is compiled into a bytecode format known as MSIL (Microsoft Intermediate Language). During execution, the CLR JIT ( just-in-time) compiles the bytecode into the processor's native code and executes the application. Alternatively, MSIL code can be precompiled into native code so that JIT compiling is no longer needed; that speeds up the execution time of your application. The CLR also provides the following services: ? Memory management/garbage collection ? Thread management ? Exception handling ? Security .NET developers write applications using a .NET language such as C#, VB.NET, or C++ ...»

Код для вставки книги в блог
HTML

phpBB

текст

Рюкзак школьный "Com Style. Ever After High".
Рюкзак подойдет для школьников начальных классов. У рюкзака 2 отделения, закрывающиеся на молнии. В переднем отделении предусмотрен
1492 руб
Раздел: Без наполнения
Комод "Радуга" (4 секции).
Домашний уют слагается из множества составляющих. Каждая деталь важна в хрупкой гармонии дома. Комод 4-х секционный - яркое подтверждение
1850 руб
Раздел: Комоды, тумбы, шкафы
Набор альбомов для рисования "Дворец", А4, 32 листа, 10 штук (количество томов: 10).
Комплект из 10 штук альбомов для рисования 32 листа. Формат А4. Альбом изготовлен из высококачественной, белой, офсетной бумаги. Обложка
373 руб
Раздел: 26-40 листов


Engineering Adaptive Web Applications. A Domain Engineering Framework
An adaptive Web application can be seen as a family of Web applications where application instances are those generated for particular user based on his characteristics relevant for a domain.
          2781 руб             2008 год          176 стр.          мягкая обложка

Time-Constrained Web Services for Industrial Automation
Web Services sind der de facto Standard zur Implementierung verteilter Anwendungen geworden und werden sowohl fuer die innerbetriebliche als auch fuer die zwischenbetriebliche Kopplung von Software-Systemen verwendet.
          3984 руб             2010 год          256 стр.          мягкая обложка

DEVELOPMENT OF A FORMAL FRAMEWORK FOR USABLE OPERATIONS SUPPORT. IN E-HEALTH BASED SYSTEMS
The system was evaluated empirically and analytically.
          2413 руб             2010 год          156 стр.          мягкая обложка

Optimized Distributed DataStore Exchange. Loading and querying data on distributed virtualized web application servers
The performance of ODDSE is evaluated and compared to a similar system showing its considerably good results for both bulk uploading and query processing.
          2400 руб             2009 год          152 стр.          мягкая обложка

Soft Timing Recovery and Applications to Wireless Mobile Receivers. An Iterative Turbo Code Aided Scheme
In order to achieve this, a bandwidth and power efficient transmitter and wireless communication channel model has been developed.
          2781 руб             2010 год          184 стр.          мягкая обложка

Mapping of User Quality-of-Experience. Mapping of User Quality-of-Experience to Application Perceived Performance for Web Application
A subjective analysis on how the user takes into account the domain of web browsing has been carried out.
          1891 руб             2010 год          100 стр.          мягкая обложка

Time Out Film Guide
Printed in full colour throughout, the fourteenth edition of the Time Out Film Guide now weighs in with more than 16,000 reviews, all written by knowledgeable critics with a real love of film.
          507 руб             2005 год          1800 стр.          мягкая обложка

Time 100 New Scientific Discoveries
          1151 руб             2011 год          112 стр.          твердый переплет

Personal Web based knowledge management. The virtualMe framework
The realization that students can contribute to enhancing personal knowledge is an important cornerstone in developing a mentor (teacher, tutor and facilitator) focused knowledge system.
          3188 руб             2009 год          464 стр.          мягкая обложка

High Performance Continuous-Time Filters. Baseband and RF Applications
Several novel circuit building blocks are introduced.
          2766 руб             2009 год          200 стр.          мягкая обложка

An Exploratory Study of the Use of Imagery by Vocal Professionals. Applications of a Sport Psychology Framework
Sport psychologists have led performance enhancement research for decades, investigating all aspects of the mental side of preparation, training, optimal excellence, and performing “in the zone. ” These ideas and findings are examined and applied to the classical singing professionals in their efforts to achieve optimal performance.
          3212 руб             2009 год          272 стр.          мягкая обложка

Non-functional Specifications of Components and Systems. A Generic Semantic Framework and Its Applications
It targets researchers and software engineers interested in CBSE and non-functional properties.
          3212 руб             2008 год          280 стр.          мягкая обложка

Evaluation of the Oracle 10g Rules Manager for a Domain Node Architecture in the Semantic Web ECA Framework Oracle 10g Rules Manager.
This framework is based on Event-Condition-Action (ECA) rules.
          2005 руб             2008 год          96 стр.          мягкая обложка

Hierarchical Production Planning Framework. for the Batch Production Environment with Setup Time and Setup Cost Restrictions
The production planning and scheduling models are capable of handling several products on a system with sequence-dependent setups.
          2005 руб             2008 год          92 стр.          мягкая обложка

Verifying Web-based Information. Detailed accounts of web use in real time
These results provide a theoretical rationale for selecting think-aloud protocol participants.
          2413 руб             2009 год          160 стр.          мягкая обложка

GRID-ENABLED TRANSPORTATION ROUTING WITH REAL-TIME EVENTS. An open framework
An open framework was introduced by: 1) leveraging microscopic transportation simulation for travel time estimation and prediction; 2) incorporating road weather information as an example of real-time event; 3) identifying the shortest-path in a space-time network; 4) enabling Grid computing in both traffic simulation over large areas and routing for massive concurrent user requests; and 5) integrating web-based GIServices based upon interoperability approaches. This book is for people who are interested in research and developments of cyber-infrastructure applications, transportation networks and topology analyses, distributed geospatial information processing, and geospatial interoperability. Transportation routing has been enhanced by the research and development in both Geographic Information System (GIS) and network analysis. This book furthers the advancement by tackling transportation routing for an extensive area with real-time events.
          2005 руб             2009 год          96 стр.          мягкая обложка

Sensing Made Easy. A Service-oriented Framework for Sensor-based Applications
          2005 руб             2010 год          60 стр.          мягкая обложка

High efficiency real-time sensor/actuator control and data processing. A framework solution for control systems in biomimetic autonomous robots
A real-time approach for data analysis requires the realization of interconnected modules which are capable to establish an efficient communication channel.
          2005 руб             2010 год          92 стр.          мягкая обложка

An Architecture Framework for Process-Personalized Composite Services. Service-oriented Architecture, Web Services, Business-Process Engineering, and Human Interaction Management
An architecture framework is presented that can systematically address the lack of CPP in current composite services approach.
          3231 руб             2008 год          220 стр.          мягкая обложка

A study in the Geometrical Product Specification and Verification framework Product variability analysis by geometrical hidden features.
Indeed, it contains a mixture of different elements, that should be analyzed and identified in the analysis of manufacturing, in order to gain the whole information necessary to improve the quality.
          2413 руб             2010 год          144 стр.          мягкая обложка

JX Application Framework
It provides a document model, a rich set of widgets, and support for model- view-controller, drag and drop, and printing.
          1392 руб             2010 год          84 стр.          мягкая обложка

Automatic Ultrasonic Time-Of-Flight Diffraction Interpretation. Fundamentals and Applications
Time-Of-Flight Diffraction (TOFD) is a new ultrasonic technique that gained popularity in ultrasonic NDT community as a precise sizing tool because of its ability to provide very accurate amplitude-independent positioning and sizing with a high probability of detection for a large variety of defects, with a relatively low false alarm rate and lower cost.
          3093 руб             2010 год          244 стр.          мягкая обложка

Toward Pervasive Platforms Programming. A Bio-Inspired, Agent-Based Framework and its Application to Pervasive Platforms Programming
The second contribution proposes a method to program efficiently parallelizable applications on each computing node of this platform.
          3048 руб             2010 год          212 стр.          мягкая обложка

Advanced User Interface Technology for I-SOAS. Intelligent User Interfaces for web data driven systems using Rich Internet Application technologies
People are capable of using the Web for tasks such as finding places by name, reserving books, tickets, searching for the lowest price to buy, and so on. A computer cannot accomplish the same tasks without human direction because web pages are designed to be read by people and not by machines.
          1891 руб             2010 год          60 стр.          мягкая обложка

Wireless Body Area Networks. A Framework of Network-integrated Sensing and Energy-aware Protocols for Resource- constrained Applications in Wireless Body Area Networks
Then, the issue of energy-aware communication is addressed by developing a human body posture-aware transmission power control framework using a closed loop link power assignment depending on the instantaneous postural of the subject.
          2623 руб             2010 год          188 стр.          мягкая обложка

Изучаем Интернет, создаем Web-страничку: Пособие для школьников, умеющих обращаться с компьютером и интересующихся работой в Интернете Изд. 2-е - 256 с. {КомпАс: Школьный клуб 'Компьютерный ас'} ISBN 5-318-00706-6 ~93.07.01 800
          76 руб             `03 год

Защита от хакеров Web-приложений (пер. с англ. Зорина В.) Информационная безопасность ISBN 1-928994-31-8 5-94074-258-0 5-98453-006-6
Книга научит читателя думать, как хакер и благодаря этому лучше защищать информационные ресурсы сайта и конфиденциальные данные, обеспечивая их целостность.
          892 руб             2004 год          496 стр.          Целофанированный переплет

VBScript; Теория программирования: Учебный курс Visual Basic 6. 0: Создание приложений; Программирование в среде Windows: Программирование Web-страниц:
          95 руб             2001 год          487 стр.          Целофанированный переплет

Использование Linux, Apache, MySQL и РНР для разработки WEB-приложений
Рассказывается о том, как создавать статические Web-страницы при помощи языка Web-site МЕТА Language (WML) и динамические при помощи интерфейса CGI и mod-perl.
          446 руб             2004 год          432 стр.          мягкая обложка

Java: Основы Web-служб (пер. с англ. Соколова Р.А.) ISBN 5-93378-092-8 1-86100-753-1
Эта книга посвящена вопросам разработки веб-служб для платформы В ней рассматриваются не только различные и спецификации веб-служб, включая и LJDDI, по и примеры использования коммерческих продуктов таких корпораций, как IBM и ВЕА, существенно упрощающих разработку и развертывание веб-служб.
          256 руб             2004 год          464 стр.          Мягкая обложка

НОВЫЙ ГОД


на главную

Интернет магазин Книги почтой booksiti.net.ru, все книги Вы можете приобрести наложенным платежом, сделав заказ на сайте. Большой выбор литературы по бизнесу, экономике, праву. Техническая научная литература. Детские книги и учебники для школы. Медицинские издания. Художественная литература. Сайт booksiti.net.ru это интернет-магазин литературы, который успешно работает на книжном рынке уже 3 года. Ведущим методом работы является рассылка литературы наложенным платежом в регионы. В крупных издательствах наложенным платежом книги не отправляют, а что делать покупателю, дабы гарантированно получить свой заказ? При отправке наложенным платежом заказ оплачивается при получении на почте, что важно для розничного покупателя. Ведь не все необходимые для работы книги можно купить в родном городе. Если вы всю жизнь идёте по пути самосовершенствования и саморазвития, то на сайте booksiti.net.ru вы обязательно найдете для себя новые и интересные книги.