11561 search results - page 1949 / 2313 » Open Distributed Processing |
144
Voted
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
106
Voted
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Games via Three-Valued Abstraction Refinement Luca de Alfaro, Pritam Roy PII: S0890-5401(10)00018-0 DOI: 10.1016/j.ic.2009.05.007 Reference: YINCO 3711 To appear in: Information an...
130
click to vote
DAGM
2007
Springer
15 years 11 months ago
2007
Springer
Deblurring is important in many visual systems. This paper presents a novel approach for nonstationary blurred image reconstruction with ringing reduction in a variational Bayesian...
138
Voted
DCOSS
2007
Springer
15 years 11 months ago
2007
Springer
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
150
Voted
ECOWS
2007
Springer
15 years 11 months ago
2007
Springer
Service-Oriented Architectures (SOAs) are increasingly deployed to achieve distributed systems that are modular, flexible and extensible. Designing for a SOA can be difficult, how...