13752 search results - page 2608 / 2751 » Parallel and Distributed Haskells |
133
Voted
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. A contract signing protocol lets two parties exchange digital signatures on a pre-agreed text. Optimistic contract signing protocols enable the signers to do so without i...
122
Voted
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
167
Voted
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
121
Voted
ECOOPW
2003
Springer
15 years 8 months ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...
163
Voted
ECOOPW
2003
Springer
15 years 8 months ago
2003
Springer
The concept of a software product line is a promising approach for increasing planned reusability in industry. For planning future requirements, the integration of domain analysis ...