checking articles, videos, photos and opinions

Sort by Relevance | Date | Popularity

Gov?t and business to pool clients' personal data

...government and the National Fraud Authority will map out the Counter Fraud Checking Service by April, the Cabinet Office announced on Monday. It builds on... Read more

7 February, 2012 by Tom Espiner
Just <endeca_term>Checking</endeca_term> 3.2.0.0

Just Checking 3.2.0.0

Just Checking takes the pain out of balancing your checking accounts. Manage multiple accounts... Read more

24 May, 2012

YouPorn sued for checking browser history

...pornographic content has been hit by a lawsuit accusing it of improperly checking which other websites visitors had used. YouPorn has been sued by two... Read more

7 December, 2010 by Stephen Shankland
Randomized Partial <endeca_term>Checking</endeca_term> Revisited

Randomized Partial Checking Revisited

The authors study mix-nets with Randomized Partial Checking (RPC) as proposed by Jakobsson, Juels, and Rivest. RPC is a technique... Read more

13 February, 2012
Model <endeca_term>Checking</endeca_term> Duration Calculus: A Practical Approach

Model Checking Duration Calculus: A Practical Approach

Model checking of real-time systems with respect to Duration Calculus (DC) specifications requires... Read more

1 January, 2012
Synthesis of Attack Actions Using Model <endeca_term>Checking</endeca_term> for the Verification of Security Protocols

Synthesis of Attack Actions Using Model Checking for the Verification of Security Protocols

Model checking cryptographic protocols have evolved to a valuable method for discovering counter-intuitive... Read more

1 January, 2012
Conditional Model <endeca_term>Checking</endeca_term>

Conditional Model Checking

Software model checking, as an undecidable problem, has three possible outcomes: the program satisfies the... Read more

30 September, 2011
Reliability Modelling of Disk Subsystems With Probabilistic Model <endeca_term>Checking</endeca_term>

Reliability Modelling of Disk Subsystems With Probabilistic Model Checking

The authors discuss how probabilistic model checking, a variant of model checking, can be useful in modelling multiple failures... Read more

1 September, 2011
Practical Software Model <endeca_term>Checking</endeca_term> Via Dynamic Interface Reduction

Practical Software Model Checking Via Dynamic Interface Reduction

Implementation-level software model checking explores the state space of a system implementation directly to find potential... Read more

31 August, 2011
JET: Exception <endeca_term>Checking</endeca_term> in the Java Native Interface

JET: Exception Checking in the Java Native Interface

Java's type system enforces exception-checking rules that stipulate a checked exception thrown by a method must be... Read more

16 August, 2011
A Symbolic Model <endeca_term>Checking</endeca_term> Framework for Hierarchical Systems

A Symbolic Model Checking Framework for Hierarchical Systems

BDD-based symbolic model checking is capable of verifying systems with a large number of states. In... Read more

11 August, 2011
Using Multi Decision Diagram in Model <endeca_term>Checking</endeca_term>

Using Multi Decision Diagram in Model Checking

Model checking is an automatic verification technique for finite concurrent systems. In this method... Read more

10 August, 2011
Advances and Challenges of Probabilistic Model <endeca_term>Checking</endeca_term>

Advances and Challenges of Probabilistic Model Checking

Probabilistic model checking is a powerful technique for formally verifying quantitative properties of systems that... Read more

30 June, 2011
Predicate Abstraction and CEGAR for Higher-Order Model <endeca_term>Checking</endeca_term>

Predicate Abstraction and CEGAR for Higher-Order Model Checking

The model checking of higher-order recursion schemes (recursion schemes, for short) has been extensively... Read more

11 April, 2011
A Self-<endeca_term>Checking</endeca_term> Hardware Journal for a Fault-Tolerant Processor Architecture

A Self-Checking Hardware Journal for a Fault-Tolerant Processor Architecture

The authors introduce a specialized self-checking hardware journal being used as a centerpiece in their design strategy to... Read more

24 March, 2011

Get ZDNet UK's daily newsletter

Enter your email address to sign up

ZDNet UK Live

BrownieBoy

Well done to IDC for producing a report that says using XP is a waste of money. Only 11 years too late with it is all....

7 minutes ago by BrownieBoy on Using Windows XP is a waste of money, says IDC
Jack Schofield

@Burn-IT ...which doesn't mean it isn't true ;-) I'll be interested if you can find any properly-researched, independent data from any of the...

1 hour ago by Jack Schofield on Using Windows XP is a waste of money, says IDC
Burn-IT

As said, sponsored by Microsoft........

2 hours ago by Burn-IT on Using Windows XP is a waste of money, says IDC
mrbigdong

@620W, I mine 1 BTC/daily for cost of 1.7eur, they naysayers regurgitate the rubbish they read as usual

2 hours ago by mrbigdong on A minor Bitcoin miner injury?
Mike Denton

If the link to the next section existed that would be awesome.... Guess I have to ask uncle google where it is

6 hours ago by Mike Denton via Facebook on Security on the farm: Accounts and permissions
minzhu

Don't blame CEO, they want RIM win. RIM has strange culture and self distruct political environment. In RIM if a new hired person figure out...

8 hours ago by minzhu on RIM CEO: Time to squash BlackBerry myths
Thomas Gellhaus

I've been very pleased with Mageia 2. My review went up on Sunday. My only issue is that my particular wireless printer hasn't been detected on...

10 hours ago by Thomas Gellhaus via Facebook on Scorecard - Linux Mint 13 and Mageia 2
knapper

That we have :-) Retailers don't buy stuff to lie around in warehouses, particularly with fast moving technology products. If they didn't think...

17 hours ago by knapper on Windows Phone, Android take bite out of BlackBerry
JohneKerr

I think that we have been here before, shipments are not equal to sales. Correct?

18 hours ago by JohneKerr on Windows Phone, Android take bite out of BlackBerry
Iain Sutherland

I received the notification of Mageia 2 being released on Saturday, was already running Mageia 1. After running the installation X came back up...

19 hours ago by Iain Sutherland via Facebook on Scorecard - Linux Mint 13 and Mageia 2
SoapyTablet

If ZTE have been selling below cost with the ZTE Blade / Orange San Francisco then given the current high street price of the Nokia Lumia 710, you...

23 hours ago by SoapyTablet on Huawei, ZTE face EU 'illegal state subsidies' probe
Burn-IT

Yes it is basically down to "nobody in control understands IT, is willing to admit it, or allow decisions to be delegated". Lets get someone in who...

23 hours ago by Burn-IT on 6 million wasted licences and £1,200 PCs: welcome to government IT
pjc158

So let me get this straight just because a consultant has oberved that mobile companies who get in trouble never recover, well we all might as well...

23 hours ago by pjc158 on RIM to lay off 2,000 on 1 June, says report
Jake Rayson

@191706> *their* own Mac Thank you for picking up the errant spelling :) @apexwm > Mac OS X for Intel machines is supposed to run in VirtualBox...

1 day ago by Jake Rayson on xTreme Triple Booting: Linux, Mac & Windows
archerthom

I'm imagining Batman-style sonar imaging that will detect the cat and Lego bricks in the dark - I'm going to be disappointed aren't I?

1 day ago by archerthom on Indoor navigation coming to a mobile near you soon
unlockworldwide

May I quote Horace Dediu, who runs the consultancy Asmyco who has repeatedly observed that mobile phone companies that fall into loss – even once...

1 day ago by unlockworldwide on RIM to lay off 2,000 on 1 June, says report
NarayanaIyyappan

It is useful for their lifes,and also this matters are important for networking students.

1 day ago by NarayanaIyyappan on IPv6 security: Plan now and quiz vendors
DarkDown

yeah! all we want free software

1 day ago by DarkDown on Stallman: Free software battling for hearts and minds
Jack Strain

Just gimme a map to the fridge. :D

2 days ago by Jack Strain via Facebook on Indoor navigation coming to a mobile near you soon
Sungwoo

do You know that? it can install 4G Ram. So i buy 4g and install It work! I can run call of duty 4,6,7 [Modern war... 1,2,3] Call of duty 1 was...

2 days ago by Sungwoo on Loose Ends - Upgrading the Aspire One 522