Using Z: Specification, Refinement, and Proof

• Java Card 3.0 Specification Available This new release features a significantly enhanced execution environment, a new virtual machine, and new network-oriented featu ...

• Java Card 3.0 Specification Available This new release features a significantly enhanced execution environment, a new virtual machine, and new network-oriented featu ...

• The W3C's new SEX 1.0 specification As we approach the atomic limit of silicon, and hence the upper bounds of Moore's Law, our insatiable appetite for computing power and petabyte-scale applications will be increasingly met by a horizontal scaling of computer power: ever-larger server-farms. The platform ...

• Bot-Proof Submission Form Bot-Proof Submission F ...

• Unified C# 3.0 Specification Now Available The authoritative C# 3.0 Specification was written by the people who created and implemented the C# language. This 500 plus page document is now available for downl ...

• For Your Review: C# Specification Version 3.0 Released Download and read a draft of the C# specification and give us your feedb ...

• XML Paper Specification (XPS) to be Standardized You know, there was a time in the not-too-distant past where an effort to standardize something Microsoft created was seen as a *GOOD* thing, ECMA to create standard out of Microsoft rival to PDF July 01, 2007 (IDG News Service ...

• XML Paper Specification (XPS) of a Word 2003 Document Microsoft opened an XML Window to its office products through its royalty-free, cross-platform, open standard XPS specification. This article describes the details of converting a Word 2003 document that complies with ...

• Updated Specification on WS-Federation Customer feedback has driven new updates to WS-Federation. Learn about features such as federation metadata, pseudonym management, authorization and privacy, and updated references to related specificati ...

• Bullet Proof Cookies An article on securing your cookies in several ways to defeat the several vulnerabilities that cookies ...