8154 search results - page 1421 / 1631 » Understanding changes in use cases: A case study |
147
click to vote
COR
2008
15 years 6 months ago
2008
Investment in landscapes to achieve outcomes that have multiple environmental benefits has become a major priority in many countries. This gives rise to opportunities for mathemat...
133
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
155
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We study network error correction with unequal link capacities. Previous results on network error correction assume unit link capacities. We consider network error correction codes...
178
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The problem of joint source-channel coding in transmitting independent sources over interference channels with correlated receiver side information is studied. When each receiver ...
165
click to vote
DAM
2008
15 years 6 months ago
2008
We present here a systematic study of general boundary value problems on weighted networks that includes the variational formulation of such problems. In particular, we obtain the...