Sciweavers

570 search results - page 48 / 114
» concurrency 2006
Sort
View
ISPW
2006
IEEE
16 years 14 hour ago
Workflows and Cooperative Processes
Workflows emphasize the partial order of activities, and the flow of data between activities. In contrast, cooperative processes emphasize the sharing of artefact, and its gradual ...
Jacky Estublier, Sergio Garcia
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 9 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
CRYPTO
2006
Springer
134views Cryptology» more  CRYPTO 2006»
15 years 9 months ago
Round-Optimal Composable Blind Signatures in the Common Reference String Model
We build concurrently executable blind signatures schemes in the common reference string model, based on general complexity assumptions, and with optimal round complexity. Namely, ...
Marc Fischlin
FMCO
2006
Springer
135views Formal Methods» more  FMCO 2006»
15 years 9 months ago
Links: Web Programming Without Tiers
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the clie...
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Ya...
AAAI
2006
15 years 7 months ago
Probabilistic Temporal Planning with Uncertain Durations
Few temporal planners handle both concurrency and uncertain durations, but these features commonly co-occur in realworld domains. In this paper, we discuss the challenges caused b...
Mausam, Daniel S. Weld