4029 search results - page 547 / 806 » Reconfigurable Systems in Education |
194
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In mobile ad hoc networks (MANET), nodes usually belong to different authorities and pursue different goals. In order to maximize their own performance, nodes in such networks ten...
207
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
188
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In recent years, the significant growth of RDF data used in numerous applications has made its efficient and scalable manipulation an important issue. In this paper, we present RD...
211
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
143
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We propose a series of methods to represent the evolution of a field of science at different levels: namely micro, meso and macro levels. We use a previously introduced asymmetric...