Sciweavers

4592 search results - page 378 / 919
» Framework for Studying Substitution
Sort
View
TIME
2007
IEEE
16 years 2 months ago
On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries
Transaction-time temporal databases and query languages provide a solid framework for analyzing properties of queries over data streams. In this paper we focus on issues connected...
David Toman
ACNS
2007
Springer
105views Cryptology» more  ACNS 2007»
16 years 1 months ago
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus
Abstract. Untraceability and unreuseability are essential security properties for electronic cash protocols. Many protocols have been proposed to meet these two properties. However...
Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng
ECTEL
2007
Springer
16 years 1 months ago
FAsTA: A Folksonomy-Based Automatic Metadata Generator
Folksonomies provide a free source of keywords describing web resources, however, these keywords are free form and unstructured. In this paper, we describe a novel tool that conver...
Hend S. Al-Khalifa, Hugh C. Davis
ICALP
2007
Springer
16 years 1 months ago
Commitment Under Uncertainty: Two-Stage Stochastic Matching Problems
Abstract. We define and study two versions of the bipartite matching problem in the framework of two-stage stochastic optimization with recourse. In one version the uncertainty is...
Irit Katriel, Claire Kenyon-Mathieu, Eli Upfal
MODELS
2007
Springer
16 years 1 months ago
Model-Based Run-Time Error Detection
We discuss the use of models for run-time error detection to improve user-perceived reliability of consumer electronics products. The aim is to apply the approach in industrial pro...
Jozef Hooman, Teun Hendriks