2036 search results - page 235 / 408 » A generic type-and-effect system |
169
click to vote
TPHOL
2006
IEEE
16 years 1 months ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
177
click to vote
WMTE
2006
IEEE
16 years 1 months ago
2006
IEEE
The diversity of mobile devices and their limitations have raised many challenges for the actual deployment of mobile learning across institutions. The main objective of this work...
202
click to vote
ACOM
2006
Springer
16 years 1 months ago
2006
Springer
Communication in multi-agent systems (MASs) is usually governed by agent communication languages (ACLs) and communication protocols carrying a clear cut semantics. With an increasi...
222
click to vote
ADAEUROPE
2006
Springer
16 years 1 months ago
2006
Springer
When a middleware layer is designed for providing semi-transparent distribution facilities to real-time applications, a trade-off must be made between the expressiveness and contro...
148
click to vote
CCGRID
2005
IEEE
16 years 21 days ago
2005
IEEE
Efficient memory allocation and data transfer for cluster-based data-intensive applications is a difficult task. Both changes in cluster interconnects and application workloads ...