3388 search results - page 238 / 678 » Type-theoretic design patterns |
182
click to vote
QOSIP
2005
Springer
16 years 4 hour ago
2005
Springer
Abstract. The topological design of distributed packet switched networks consists of finding a topology that minimizes the communication costs by taking into account a certain num...
169
click to vote
CASES
2000
ACM
15 years 11 months ago
2000
ACM
In this paper, we describe a software architecture supporting code generation from within Ptolemy II. Ptolemy II is a componentbased design tool intended for embedded and real-tim...
162
click to vote
MLDM
1999
Springer
15 years 10 months ago
1999
Springer
In the field of pattern recognition, multiple classifier systems based on the combination of the outputs of a set of different classifiers have been proposed as a method for the de...
158
click to vote
CGA
2006
15 years 6 months ago
2006
Large displays are becoming increasingly common technologies in the workplace because of their potential as information displays and collaboration surfaces. Despite its growing ub...
176
click to vote
AAI
2000
15 years 6 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...