3388 search results - page 128 / 678 » Type-theoretic design patterns |
123
click to vote
ENTCS
2006
15 years 5 months ago
2006
We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow in...
159
click to vote
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we proposed to setup a distributed multimedia system which aggregates the capacity of multiple servers to provide customized multimedia services in a cost-effective...
115
click to vote
AAECC
2006
Springer
15 years 11 months ago
2006
Springer
This paper addresses the problem of threshold traitor tracing for digital content where, by embedding appropriate digital patterns into the distributed content, it is possible to t...
150
click to vote
FOIKS
2010
Springer
15 years 3 months ago
2010
Springer
This paper holds on the application of two classification methods based on formal concept analysis (FCA) to interval data. The first method uses a similarity between objects while ...
125
Voted
ISER
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper proposes wave-shape pattern control method for whole-body deformable robots containing electroactive polymers. Mechanisms consisting of a typical electroactive...