5591 search results - page 742 / 1119 » Design patterns: between programming and software design |
161
click to vote
PROCEDIA
2010
15 years 5 months ago
2010
We argue that programming high-end stream-processing applications requires a form of coordination language that enables the designer to represent interactions between stream-proce...
173
click to vote
IFIP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In Measurement Based Admission Control (MBAC), the decision of accepting or rejecting a new ow is based on measurements of the current trac situation. Since MBAC relies o...
202
click to vote
COMMA
2010
15 years 1 months ago
2010
In this paper we define a recursive semantics for warrant in a general defeasible argumentation framework by formalizing a notion of collective (non-binary) conflict among argumen...
244
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
212
click to vote
PADL
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...