Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Real-Time Object Uniform Design Methodology with UML
Real-Time Object Uniform Design Methodology with UML
The competitiveness of organizations facing globalization, information and communication technologies relies on strategic issues such as reuse of knowledge from past experiences to make higher quality decisions, deployment of innovative, fast methodological approaches for solving problems and building systems. Real-life systems are often...
Synchronizing Internet Protocol Security (SIPSec) (Advances in Information Security)
Synchronizing Internet Protocol Security (SIPSec) (Advances in Information Security)
The open design of the internet has not only opened many new opportunities for communications, but it has also opened many new avenues for attacks against organizational network and computing resources. Information security has become a major concern in recent times, as more and more computers are being connected to the global internet. With so...
Integrated Research in GRID Computing: CoreGRID Integration Workshop 2005 (Selected Papers) November 28-30, Pisa, Italy
Integrated Research in GRID Computing: CoreGRID Integration Workshop 2005 (Selected Papers) November 28-30, Pisa, Italy
Integrated Research in Grid Computing presents a selection of the best papers presented at the CoreGRID Integration Workshop (CGIW2005), which took place on November 28-30, 2005 in Pisa, Italy.

The aim of CoreGRID is to strengthen and advance scientific and technological excellence in the area of Grid and Peer-to-Peer technologies in...

Foundations and Applications of MIS: A Model Theory Approach (IFSR International Series on Systems Science and Engineering)
Foundations and Applications of MIS: A Model Theory Approach (IFSR International Series on Systems Science and Engineering)
This book has three objectives. The first is to present a new methodology for management information system (MIS) development as an application of mathematical general systems theory; the second is to establish a theoretical foundation for MIS development; and the third is to demonstrate the utility of set theory combined with extended Prolog...
Formal Refinement for Operating System Kernels
Formal Refinement for Operating System Kernels
The kernel of any operating system is its most critical component. The remainder of the system depends upon a correctly functioning and reliable kernel for its operation.

The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of...

Modelling and Simulation: Exploring Dynamic System Behaviour
Modelling and Simulation: Exploring Dynamic System Behaviour
The application of modelling and simulation is unconstrained by discipline boundaries. It provides support for the planning, design and evaluation of system behaviour, as well as the evaluation of strategies for dynamic system transformation and change.

Modelling and Simulation: Exploring Dynamic System Behaviour provides the reader...

Advances and Innovations in Systems, Computing Sciences and Software Engineering
Advances and Innovations in Systems, Computing Sciences and Software Engineering
Advances and Innovations in Systems, Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computing Sciences, Software Engineering and Systems.

Advances and Innovations in Systems, Computing Sciences and...

Spatial Data on the Web: Modeling and Management
Spatial Data on the Web: Modeling and Management
Spatial data is essential in a wide range of application domains today. While geographical applications remain the key target area, spatial properties are required in other contexts such as computer-aided design, robotics and image processing. Associated with these is the constantly growing number of distributed processing architectures, based on,...
Compiling Esterel
Compiling Esterel
Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used to compile it.

Esterel is based on the simple...

Neural Preprocessing and Control of Reactive Walking Machines: Towards Versatile Artificial Perception-Action Systems (Cognitive Technologies)
Neural Preprocessing and Control of Reactive Walking Machines: Towards Versatile Artificial Perception-Action Systems (Cognitive Technologies)
This book presents biologically inspired walking machines interacting with their physical environment. It describes how the designs of the morphology and the behavior control of walking machines can benefit from biological studies. The purpose of this book is to develop a modular structure of neural control generating different reactive behaviors...
Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering
Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering
I fully expect that Software Product Lines in Action will become one of the foundational references of this quickly-evolving field. Its the most comprehensive treatment of product line practice in existence today. from the Foreword by Paul Clements, SEI Carnegie Mellon University, USA Software product lines represent perhaps the most...
Mobile Phone Programming: and its Application to Wireless Networking
Mobile Phone Programming: and its Application to Wireless Networking
The technology evolution has been once and for all beyond comparison during the past decade or two. Any of us can nowadays do numerous things with numerous devices to help in everyday life. This applies not least to mobile phones. If we compare the feature set of a mobile phone model in 1995 with the latest smartphone models the most visible...
Result Page: 395 394 393 392 391 390 389 388 387 386 385 384 383 382 381 380 379 378 377 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy