 |
|
 Abstraction Refinement for Large Scale Model CheckingAbstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model... | | Practical Model-Based Testing: A Tools ApproachSoftware testing is vitally important in the software development process, as illustrated by the growing market for automated testing tools. Moreover, software testing generally consumes between 30 and 60 percent of the overall development effort.
Many companies are already using automated test execution tools. Modelbased testing pushes... | | Digital Nature Photography and Adobe PhotoshopThe digital nature photographer does more than just take pictures. He is part adventurer, part traveler, and part nature and wildlife observer - on top of being a skilled photographer. "Digital Nature Photography and Adobe® Photoshop®" addresses the unique challenges and needs of the digital nature photographer, combining an... |
|
Complete Wireless DesignDesign an entire radio system from the ground up instead of relying on a simple plug-in selection of circuits to be modified. Avoid an arduous trek through theory and mathematical derivations. Cotter Sayre’s Complete Wireless Design is the handbook that fits your needs. It covers wireless hardware design more thoroughly than any... | | Angels Don't Play This haarp: Advances in Tesla TechnologyThe U. S. Government has a new ground-based "Star Wars" weapon which is being tested in the remote bush country of Alaska. This new system manipulates the environment in a way which can:
• Disrupt human mental processes.
• Jam all global communications systems.
• Change weather patterns over large... | | |
|
Beginning JSP, JSF and Tomcat Web Development: From Novice to Professional
Start building Java-based web applications now, even if you’re a complete newcomer to Java. Comprehensive and example-driven, Beginning JSP™, JSF™, and Tomcat Web Development is all you need to develop dynamic web applications using JSP, connect to databases with JSF, and put them into action using the world’s... | | Energy Evolution (The Eco-Technology Series)Coincidence? Or perhaps not! Standing as we are on the threshold of a new era, the first dawning of a new age, there is an air of expectancy of things imminent and better. In a certain sense this has psychologically programmed us with a willingness to embrace new concepts, to inaugurate and accept far-reaching change. It is also a time to reflect... | | |
|
|
| Result Page: 807 806 805 804 803 802 801 800 799 798 797 796 795 794 793 792 791 790 789 |
