5085 search results - page 359 / 1017 » Multidimensional Design by Examples |
170
click to vote
SYNASC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper provides a design rationale for a mechanism that enforces a correct mapping between a model of a nested agent organization and a model of a composite interaction-based ...
163
click to vote
ARC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Encryption of volatile FPGA bitstreams provides confidentiality to the design but does not ensure its authenticity. This paper motivates the need for adding authenticati...
185
click to vote
DIS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
168
click to vote
GW
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents the development of methods for gesture control of sound spatialization. It provides a comparison of seven popular software spatialization systems from a control...
160
click to vote
ISSAC
2007
Springer
16 years 1 months ago
2007
Springer
Approximate symbolic computation problems can be formulated as constrained or unconstrained optimization problems, for example: GCD [3, 8, 12, 13, 23], factorization [5, 10], and ...