specifications articles, videos, photos and opinions

Sort by Relevance | Date | Popularity

WISPr 2.0 boosts roaming between 3G and Wi-Fi

...The Wireless Broadband Alliance has released specifications that should make it easier for mobile devices to roam from Wi... Read more

23 June, 2010 by Richard Thurston

Enisa: W3C web standards pose 51 security threats

...51 vulnerabilities in 13 upcoming World Wide Web Consortium (W3C) standards and specifications, the agency said in a report on Monday. Among these were issues... Read more

1 August, 2011 by Tom Espiner

W3C declares HTML 5 at 'last call' status

...World Wide Web Consortium (W3C) believes it has a version of the specification mature enough for organisations to decide whether to express support. But changes... Read more

31 May, 2011 by Stephen Shankland

HTML 5 groups clash over standardisation

...The overseers of two strands of the HTML 5 specification are clashing just as their important new web standard is arriving in... Read more

29 June, 2010 by Stephen Shankland

WiMax 2 standard gets date for approval

Formal approval will allow product certification to get underway, to bring low-latency, high-bandwidth communications devices to market Read more

16 August, 2010 by Jack Clark
A Formal <endeca_term>Specification</endeca_term> of G-DTD:A Conceptual Model to Describe XML Documents

A Formal Specification of G-DTD:A Conceptual Model to Describe XML Documents

This paper provides a formal specification in Z of a conceptual model for an XML document called Graph... Read more

19 October, 2011
LENS: Resource <endeca_term>Specification</endeca_term> for Wireless Sensor Network Experimentation Infrastructures

LENS: Resource Specification for Wireless Sensor Network Experimentation Infrastructures

...first step towards predictable, repeatable WSN experimentation, the authors propose the resource specification language LENS (a.k.a. Language for Embedded Networked Sensing) for WSN... Read more

7 July, 2011
Behavioral Interface <endeca_term>Specification</endeca_term> Languages

Behavioral Interface Specification Languages

Behavioral interface specification languages provide formal code-level annotations such as pre-/post-conditions, invariants... Read more

1 June, 2011
Contracts and <endeca_term>Specifications</endeca_term> for Functional Logic Programming

Contracts and Specifications for Functional Logic Programming

The expressive power of functional logic languages supports high-level specifications as well as efficient implementations of problems in the same language. If... Read more

28 May, 2011
Automatically Complementing Protocol <endeca_term>Specifications</endeca_term> From Network Traces

Automatically Complementing Protocol Specifications From Network Traces

Network servers can be tested for correctness by resorting to a specification of the implemented protocol. However, producing a protocol specification can be a... Read more

12 May, 2011
Enabling Rich Discovery of Web Services by Projecting Weak Semantics From Structural <endeca_term>Specifications</endeca_term>

Enabling Rich Discovery of Web Services by Projecting Weak Semantics From Structural Specifications

...the authors would prefer using defined ontologies that express the domains and specifications of web services, and thus more easily discover and compose these, they... Read more

15 April, 2011
Dynamic Slicing Research of UML Statechart <endeca_term>Specifications</endeca_term>

Dynamic Slicing Research of UML Statechart Specifications

This paper extends the well-known technique of dynamic slicing to Statechart specifications of reactive systems. Statechart language extends state machines along hierarchy, concurrency and... Read more

1 April, 2011
Comparing Workflow <endeca_term>Specification</endeca_term> Languages: A Matter of Views

Comparing Workflow Specification Languages: A Matter of Views

The authors address the problem of comparing the expressiveness of work-flow specification formalisms using a notion of view of a work-flow. Views allow... Read more

23 March, 2011
Towards Support for Software Model Checking: Improving the Efficiency of Formal <endeca_term>Specifications</endeca_term>

Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications

The Property specification (Prospec) tool uses patterns and scopes defined by Dwyer et al., to... Read more

3 March, 2011
G2C: Cryptographic Protocols From Goal-Driven <endeca_term>Specifications</endeca_term>

G2C: Cryptographic Protocols From Goal-Driven Specifications

The authors present G2C, a goal-driven specification language for distributed applications. This language offers support for the declarative specification... Read more

8 February, 2011

Get ZDNet UK's daily newsletter

Enter your email address to sign up

ZDNet UK Live

Jack Schofield

Moonlight wasn't a Microsoft product, so it's not really a failure for Microsoft, more a failure for open source. Or, specifically, for Novell,...

25 minutes ago by Jack Schofield on The future of .NET (Mono) on non-Windows platforms
J.A. Watson

@apexwm - You are basically right. GIMP is not included in the Fedora 17 base distribution, but it can be installed from the Add/Remove Software...

44 minutes ago by J.A. Watson on Fedora 17 - The "Beefy Miracle" Arrives
Moley

@pjc158 Unfortunately our government signed away any such possibility in a entirely unequal treaty with the USA, purportedly in response to...

54 minutes ago by Moley on Judge orders US to share MegaUpload evidence
J.A. Watson

@Thomas - Thanks for the tip, based on what you said I went back and downloaded the KDE spin, and installed that one another netbook (NF310). You...

59 minutes ago by J.A. Watson on Fedora 17 - The "Beefy Miracle" Arrives
apexwm

JW, Thanks as always for the great review on these new releases. One thing that I've also read is that Fedora 17 will include GIMP 2.8 which is...

2 hours ago by apexwm on Fedora 17 - The "Beefy Miracle" Arrives
SoapyTablet

'Cut Price' Data Roaming? The price has been cut, but it is certainly not 'cut price' in the sense of the phrase, and nowhere near local EU data...

3 hours ago by SoapyTablet on Cut-price data roaming gets all-clear for July
apexwm

BrownieBoy: "Such crashes are normally down to the OS and/or a rogue application, which could be fixed by re-imaging. Everybody knows how Windows...

4 hours ago by apexwm on Using Windows XP is a waste of money, says IDC
Thomas Gellhaus

I've just started using it too, and like you I feel that Fedora is a fine GNOME 3 showcase distribution. I am torn, though, because I checked out...

4 hours ago by Thomas Gellhaus via Facebook on Fedora 17 - The "Beefy Miracle" Arrives
pjc158

Why is it that Newzealand has the guts to stand up to the USA and ask to see the evidence and we don't!

4 hours ago by pjc158 on Judge orders US to share MegaUpload evidence
Dean Talboys

What a farce! Hopefully the European court will see where this is leading.

7 hours ago by Dean Talboys via Facebook on Assange loses extradition battle in Supreme Court
SoapyTablet

Wouldn't surprise me if Samsung actually really had problems producing the white model (as Apple did - it would make more sense) and this non-story...

7 hours ago by SoapyTablet on Samsung Galaxy 'S3' delayed by special paint
Lonnie

those conformation letters are hard to figure out what is which letters it is a pain in the back side. Please make it more Ledge-able being better...

11 hours ago by Lonnie on Screenshots: Photoshop CS6 Beta
BrownieBoy

"cites" even. Ouch!

18 hours ago by BrownieBoy on Using Windows XP is a waste of money, says IDC
Horace Ontalhold

...... and PDP11s too

18 hours ago by Horace Ontalhold on Fusion-io lays minefield with a billion IOPS
BrownieBoy

I had a quick skim through the PDF. It seems to be that many of these so-called cost savings would be down to a hardware refresh. Although...

19 hours ago by BrownieBoy on Using Windows XP is a waste of money, says IDC
bobandroid

496,999 BT Fon Hotspots lovingly situated in your next door neighbours garden, no matter how you dress that up its still a pup... Not where I need...

21 hours ago by bobandroid on London Olympics: BT needs 25,000 more Wi-Fi hotspots
apexwm

Jack : I was hoping you could provide us a summary since you are familiar with this report. I am not yet sure how much of my time I'd like to...

23 hours ago by apexwm on Using Windows XP is a waste of money, says IDC
Smilig Eddie

2 – 4 more weeks of waiting: how many buyers are going to decide instead to see what the iPhone 5 offers? Consumer trust in the brand has also...

23 hours ago by Smilig Eddie on Samsung Galaxy 'S3' delayed by special paint
SRist

So it looks like this was a complete red herring - Adobe are allowing upgrades from Photoshop CS3, CS4 and CS5 at the same price. When did this...

24 hours ago by SRist on Photoshop users attack Adobe upgrade policy change
Jack Schofield

@apexwm Have you considered either (a) reading the story above or (b) reading the PDF? There are answers in both.

1 day ago by Jack Schofield on Using Windows XP is a waste of money, says IDC