2432 search results - page 336 / 487 » Using simple abstraction to reinvent computing for paralleli... |
149
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
167
click to vote
EDOC
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract-- Analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger ...
126
click to vote
EUROPAR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In peer-to-peer systems, replication is an important issue as it improves search performance and data availability. It has been shown that optimal replication is attained...
144
click to vote
EDO
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....
132
click to vote
COORDINATION
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...