Sciweavers

2478 search results - page 237 / 496
» Universality in two dimensions
Sort
View
APSEC
2007
IEEE
16 years 29 days ago
E-AoSAS++ and its Software Development Environment
E-AoSAS++ is an aspect-oriented software architecture style for embedded software. It basically gives the style in which a set of state transition machines organizes a software. W...
Masami Noro, Atsushi Sawada, Yoshinari Hachisu, Ma...
ICDAR
2007
IEEE
16 years 28 days ago
Locating Charts from Scanned Document Pages
This paper presents our work on automatically locating charts from document pages, which is an important stage in the chart image recognition and understanding system being develo...
W. Huang, C.-L. Tan
EUROCRYPT
2007
Springer
16 years 23 days ago
Non-interactive Proofs for Integer Multiplication
Abstract. We present two universally composable and practical protocols by which a dealer can, verifiably and non-interactively, secret-share an integer among a set of players. Mo...
Ivan Damgård, Rune Thorbek
ICALP
2007
Springer
16 years 23 days ago
Reachability-Time Games on Timed Automata
d Abstract) Marcin Jurdzi´nski and Ashutosh Trivedi Department of Computer Science, University of Warwick, UK In a reachability-time game, players Min and Max choose moves so that...
Marcin Jurdzinski, Ashutosh Trivedi
WINE
2007
Springer
124views Economy» more  WINE 2007»
16 years 21 days ago
On the Price of Truthfulness in Path Auctions
We study the frugality ratio of truthful mechanisms in path auctions, which measures the extent to which truthful mechanisms “overpay” compared to non-truthful mechanisms. In p...
Qiqi Yan