constraints
RSS constraintsTest-Sequence Generation With Hol-TestGen With an Application to Firewall Testing
White Paper Second, the test cases are analyzed for ground instances (the test data) satisfying the constraints of the test cases. HOL-TestGen is a specification and test case generation environment extending the interactive theorem... [12 Nov 2009]
Security for the Cloud Infrastructure: Trusted Virtual Data Center Implementation
White Paper In this paper, the author extends previous work on the TVDc by implementing controlled access to networked storage based on security labels and by implementing management prototypes that demonstrate the enforcement of isolation... [12 Nov 2009]
A Policy-Based Middleware for Web Services SLA Negotiation
White Paper High level business goals, contexts, preferences, constraints, and values of the negotiation issues are expressed as a policy specification by each of the negotiating parties. Negotiation of Service Level Agreements... [12 Nov 2009]
Computing a Multimedia Representation for Documents Given Time and Display Constraints
White Paper Next, the time and information attributes for each document element are computed by taking into account the display and application constraints. It is difficult to view multipage, high resolution documents on devices... [11 Nov 2009]
Advanced Vulnerability Analysis and Intrusion Detection Through Predictive Attack Graphs
White Paper Because of operational constraints, vulnerability paths may often remain. Network security tools generally lack sufficient context for maintaining a well informed and proactive defense posture. Vulnerabilities are... [11 Nov 2009]
Justifying SQL Server Management Tools in a Down Economy
White Paper The secret is to analyze IT budget constraints to save money without crippling service levels. These days, it's tough being part of an IT organization. Your budget's being slashed due to the downturn in the economy, but... [23 Oct 2009]
Oracle Business Rules: Technical Overview
White Paper Moreover, regulatory constraints are increasingly demanding that businesses have transparency and consistency in their decision making, and that they are able to certify compliance. There is an increasing desire among... [15 Oct 2009]
BAA preparing for Windows 7 take off
News Langsdale added the company needs to take a "cautious" approach to the Windows 7 roll out due to financial constraints. Airport operator BAA is hoping the roll out of Windows 7 will help simplify its IT infrastructure... [09 Oct 2009]
Overview of Requirements and Applications for 40 Gigabit and 100 Gigabit Ethernet
White Paper Similar aggregation effects are present in the carrier and service provider networks, where it has become increasingly challenging for service providers to accommodate customer requests for services due to the bandwidth... [09 Oct 2009]
Advancing Highways With Communication Solutions: Cost-Effective Ways to Address Growing Demands on Highway Infrastructure
White Paper Highway authorities worldwide are facing rapid growth in the number of passenger vehicles, combined with constraints on budgets and available space for new roads. To leverage available resources, transportation agencies... [02 Oct 2009]
Denial of Service Attacks in Networks With Tiny Buffers
White Paper Recently, several papers have studied the possibility of shrinking buffer sizes in Internet core routers to just a few dozen packets under certain constraints. If proven right, these results can open doors to building... [02 Oct 2009]
A Model of Virtualization
White Paper Business growth and a fast-paced product development cycle require the Dell IT team to accelerate deployment of new servers and applications - without exceeding data center space and within power constraints. [02 Oct 2009]
The SAS Enterprise Intelligence Platform: SAS Analytics - Analytic Insights for More Confident, Proactive Decision Making
White Paper IT groups are challenged to deliver intelligence throughout the enterprise within the constraints of existing architectures and lean budgets. The analytics architecture in today's typical organization - built around... [02 Oct 2009]
Los Angeles Metropolitan Transit Authority Pilots IBM Solution to Drive Down Parts Inventory Costs for Metro Fleet
White Paper IBM Dynamic Inventory Optimization Solution, a comprehensive offering that helps companies determine optimal inventory levels based on cost trade-offs, forecasts, demand patterns, parts availability requirements and budget... [01 Oct 2009]
Victoria University of Wellington Cuts Costs, Minimizes Downtime With Active Support
White Paper In addition, it needed to implement efficient financial and research software solutions within tight budget constraints. Founded in 1897, Victoria University of Wellington in New Zealand has a reputation for education... [01 Oct 2009]
