6618 search results - page 977 / 1324 » Information and Communication Technologies for Development |
197
click to vote
ADAEUROPE
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. This paper describes the development of two kinds of atomic action schemes for Ada 95. We start by discussing the basic features required of an atomic action scheme and w...
266
click to vote
ECLIPSE
2007
ACM
15 years 11 months ago
2007
ACM
Designing and testing distributed applications is still a difficult task that requires in-depth knowledge about networking issues. Eclipse is, among other things, a powerful and w...
160
click to vote
WOTUG
2008
15 years 9 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
159
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We study the tradeoffs between the number of measurements, the signal sparsity level, and the measurement noise level for exact support recovery of sparse signals via random noisy ...
248
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In a multi-hop mobile ad hoc network (MANET) mobile nodes communicate with each other forming a cooperative radio network. Security remains a major challenge for these networks du...