assertions
RSS assertionsWeaving a Web of Trust
White Paper In so doing, we develop a taxonomy for how trust assertions can be specified, justified, and validated. In this paper, we consider how this philosophy could be applied to the Web. We introduce the fundamental principles, principals, and policies of... [03 Jul 2008]
Yahoo! vs Icahn: War of words
News The company labelled as "patently untrue" key assertions contained in the complaint filed by lawyers for two US pension funds who seek to unwind its anti-takeover defences in order to force Yahoo! Yahoo! [05 Jun 2008]
Create High-Impact Press Releases
White Paper One's target audience is more likely to trust an opinion put forth by an independent authority than the assertions about one's company. Press releases are the most powerful and cost-effective marketing tool for building credibility. [26 Apr 2008]
Assisted Firewall Policy Repair Using Examples and History
White Paper Using rule history with equivalence classes allows the system administrator to quickly and easily detect both errors and faults in the policy without constructing a large number of complicated assertions. [11 Apr 2008]
Defensive Programming - Level 200
White Paper Developers shouldn’t miss this opportunity to examine the following topics with renowned author Joe Hummel, PhD: Exception handling; Application and class design with exceptions; Assertions; Debugging. [10 Apr 2008]
Data breaches: Don't blame 'stupid' employees
News A survey from PriceWaterhouseCoopers (PwC) released this week appears to back up Ashenden's assertions. Speaking at the Cyber Warfare 2008 event in London this week, Debi Ashenden, senior research fellow at the Defence College of Management and... [03 Apr 2008]
Google's engineer talks OpenSocial and the price of innovation
News OpenID is one of the things that we index as a connection, and if you use OpenID to say, "Yes, I own this URL", that means that you can call the Social Graph API and see what assertions spread out from that URL. [03 Mar 2008]
IP Reuse Hardening Via Embedded Sugar Assertions
White Paper Assertions embedded in the design can capture this knowledge so that any errors in the configuration or use of the IP will be caught quickly. Sugar 2.0, an upcoming standard property specification language being developed by the Accellera Formal... [29 Feb 2008]
MSDN Webcast: Managing Web Services Using WS-Policy in WSE 2.0 (Level 400)
White Paper The attendee of this webcast will learn how to implement the policy assertions supported by WSE 2.0: Security Token, Integrity, Confidentiality, Message Age, and Message Predicate. The presenter will also show how to create custom policy assertions... [27 Feb 2008]
Software Applications Validation Environment: SAVE
White Paper Conventional testing techniques are manually intensive, with unknown or poor functional (specification) coverage requiring the user to insert assertions in the source code. The most vexing problem facing the software industry today is ensuring that... [14 Feb 2008]
Dell upbeat about Vista uptake
News However, Dell's assertions run contrary to research published earlier in October by market research company Context, which found Vista sales for business machines were slowing. Dell's chief executive has predicted that most of his company's... [16 Oct 2007]
Microsoft 'building open-source cult of fear'
News As well as making assertions over patents, Microsoft has also caused a stir in the open source world by forming partnerships with Linux distributors, the largest one being Novell. Microsoft is spreading fear, uncertainty and doubt among open source... [14 Aug 2007]
U-Prove SDK Overview
White Paper The SDK enables organizations to protect identity-related assertions with unprecedented security, thereby opening up new dataflow capabilities. For example, users can strongly authenticate to any number of parties without real-time involvement of a... [23 Jun 2007]
The .NET Contract Wizard: Adding Design by Contract to Languages Other Than Eiffel
White Paper Therefore it is crucial to benefit from high-level language mechanisms such as assertions. Reliability is a key concern in the current state of software industry. Producing software without defects is still very difficult. [23 Jun 2007]
Debugging Microsoft .NET 2.0 Applications
White Paper The best technique is to use assertions everywhere so that one gain control whenever a problem occurs. In addition to assertions, proper tracing and comments can make maintaining and debugging the code much easier for one and others. [20 Jun 2007]
