Search Sciweavers | Sciweavers

Visual cryptography schemes have been introduced in 1994 by Naor and Shamir. Their idea was to encode a secret image into n shadow images and to give exactly one such shadow image ...

Andreas Klein, Markus Wessler

claim paper

Read More »

click to vote

IANDC
2007

127views more IANDC 2007»

Temporal logics with incommensurable distances are undecidable

13 years 4 months ago

Download www.cs.tau.ac.il

Temporal logic based on the two modalities “Since” and “Until” (TL) is the most popular logic for the speciﬁcation of reactive systems. It is often called the linear tim...

Alexander Rabinovich

claim paper

Read More »

« Prev « First page 2 / 6 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers