You are here: silicon.com > Tags

442 stories on

verification

Sort by: Date | Relevance


TechNet Webcast: Using the Inventory Tool for Microsoft Updates (Level 200)

whitepaper The webcast will include an enlightening exposition of the end-to-end process to use the Inventory Tool for Microsoft Updates, from installation to update installation verification. Is there any difference between the client scanning between...

Tags: monitoring systems

[17 May 2008]

Jump-Start Business Activity Monitoring (BAM), Part 2: Install and Configure IBM WebSphere Business Monitor V6.0.2 - Basic Installation and Simple Model Deployment

whitepaper One also goes through the Launchpad steps, installation verification, model installation, and the model configuration. In this paper, one will install and configure a basic IBM WebSphere Business Monitor V6.0.2 deployment.

Tags: monitoring systems

[16 May 2008]

Jump-Start Business Activity Monitoring (BAM), Part 3: Install and Configure IBM WebSphere Business Monitor V6.0.2 in a Network Deployment Environment - Advanced Installation and Network Deployment

whitepaper Walk through the steps for pre-installation, Launchpad, installation verification, model installation, and model configuration. In this paper, one installs and configures an advanced IBM WebSphere Business Monitor V6.0.2 deployment in a network...

Tags: monitoring systems

[15 May 2008]

Formal Verification of Firewall Policies

whitepaper This paper proposes a firewall verification tool in this paper. Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. The quality of protection provided by a firewall directly...

Tags: firewalls

[03 May 2008]

TechNet Webcast: Using SMS 2003 Software Update Management Features - Level 300

whitepaper This webcast discusses the SMS 2003 software update management process, and demonstrates the entire process from installation of this feature to verification that the distributed patch was deployed successfully.

Tags: monitoring systems

[02 May 2008]

High Availability Cluster Multiprocessing Best Practices

whitepaper With this flexibility comes the responsibility to make wise choices: there are many cluster configurations that are workable in the sense that the cluster will pass verification and come on line, but which are not optimum in terms of providing...

Tags: availability, configurations, cluster, responsibility

[28 Apr 2008]

Design and Implementation of Firewall Policy Advisor Tools

whitepaper This paper present a set of techniques and algorithms that provide automatic anomaly detection for discovering rule conflicts and potential problems in legacy firewalls, anomaly-free policy editing for rule insertion, modification and removal, and...

Tags: firewalls

[24 Apr 2008]

Telecom Broadband: Digital Processor for SDH Radio Link

whitepaper Accent's design services covered the FPGA implementation (from the Implementation Specification to the bit-file delivery) and the system level verification (FPGA top-level simulations and support to the Customer during the laboratory test activity).

Tags: broadband, radio, verification, switching

[10 Apr 2008]

Exploration Games for Safety-Critical System Design With UML 2.0

whitepaper Critical systems on the other hand are usually specified very precisely and frequently require formal verification. UML has its origin in mainstream software engineering and is often used informally by software designers.

Tags: uml, informally, engineering, games

[10 Apr 2008]

Formalizing UML Models and OCL Constraints in PVS

whitepaper This defines a formal semantics for both UML and OCL, and enables the formal verification of systems modeled in UML. The Object Constraint Language (OCL) is the established language for the specification of properties of objects and object...

Tags: uml, language, uml, tool

[10 Apr 2008]

Put New Capabilities of Business Activity Monitoring (BAM) to Work, Part 2: WebSphere Business Monitor 6.1 Installation Improvements

whitepaper Installation is now consistent with the WebSphere family of products, from the Welcome page in the Launchpad, to the Business Monitor installation wizard, the Profile Management Tool, and the installation verification tool in the First Steps.

Tags: monitoring systems

[09 Apr 2008]

Vulnerability Management and Policy Compliance Overview

whitepaper Verification Take a multimedia tour of QualysGuard, the Web-based Vulnerability Management and Policy Compliance solution that pinpoints network vulnerabilities before hackers have a chance to exploit them.

Tags: multimedia, vulnerability, policy, compliance

[31 Mar 2008]

Improved User-Experience, Ad-Revenue, and Brand Image With Automated Verification and Validation of All Websites for Australia's No.1 Interactive Media Company

whitepaper Ninemsn is Australia's number-one interactive media company with annual revenue of about AUD 100 million. The proposed automated validation tool was innovative, and therefore its architecture and design was challenging.

Tags: application servers

[27 Mar 2008]

TechNet Webcast: Microsoft Office 2003 Deployment With Systems Management Server 2003 - Level 200

whitepaper In this webcast, learn how deploying Microsoft Office 2003 with Systems Management Server (SMS) 2003 can be achieved easily and with a sense of control, reducing costs while providing a rich deployment verification system through customized reports.

Tags: monitoring systems

[27 Mar 2008]

Testing Centre of Excellence (COE) for Cendant Corporation

whitepaper The challenges for Cendant to maintain and grow their far reaching business and large number of IT solutions were: consolidation of verification and validation activities that would reduce dependencies; share and reduce infrastructure costs...

Tags: infrastructure management

[27 Mar 2008]

Beanstream Virtually Cashes in With Intel

whitepaper Beanstream Internet Commerce built a platform for Web-based selling and online verification for internal use but quickly found that its customers across Canada were seeking the same solution. To respond to client demands, Beanstream needed a...

Tags: high availability

[04 Mar 2008]

Flexible Integrity Protection and Verification Architecture for Virtual Machine Monitors

whitepaper Lack of security of virtual machines and lack of trust into correct execution of virtualization engines is a major concern that is limiting the broad adoption of virtual machine technology. This paper looks at ways of improving Virtual Machine (VM...

Tags: security management

[29 Feb 2008]

IP Reuse Hardening Via Embedded Sugar Assertions

whitepaper Sugar 2.0, an upcoming standard property specification language being developed by the Accellera Formal Verification Technical Committee, provides a powerful means of expressing such assertions. Rapid design of complex chips requires acquisition...

Tags: embedded systems

[29 Feb 2008]

Hardware Implementation of the Safer+ Encryption Algorithm for the Bluetooth System

whitepaper The whole design was captured entirely in VHDL language using a bottom-up design and verification methodology. In this paper, a VLSI implementation for the SAFER+ encryption algorithm is presented. The combination of security, and high speed...

Tags: mobile - wireless communications, algorithm, safer, encryption

[28 Feb 2008]

Enforcing Endpoint Security Through Network-Based Quarantine Protection

whitepaper However, TippingPoint's Quarantine capability complements and goes beyond the simple verification of updated OS's and AV signature packs to control the behavior of endpoints that are connected to the LAN.

Tags: anti-virus

[28 Feb 2008]

Sort by: Date | Relevance


Site Map    


Quick Sitemap Links: