7189 search results - page 56 / 1438 » Connecting Design with Code |
IJET
2008
13 years 10 months ago
2008
The vast majority of knowledge management initiatives fail because they do not take sufficiently into account the emotional, psychological and social needs of individuals. Only if ...
AICT
2009
IEEE
14 years 3 months ago
2009
IEEE
—Compound TCP (CTCP) was designed by Tan at al. to improve the efficiency of TCP on high speed networks without unfairly penalizing other connections. In this work we analyze an...
DL
1998
Springer
14 years 2 months ago
1998
Springer
There are many technical challenges in designing the architecture of globally-distributed, federated digital libraries. This paper focuses on the problem of global resource discov...
OPODIS
2003
13 years 11 months ago
2003
One of the problems of middleware for shared state is that they are designed, explicitly or implicitly, for symmetric networks. However, since the Internet is not symmetric, end-to...
ENTCS
2007
13 years 10 months ago
2007
Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective ha...