7124 search results - page 1087 / 1425 » Programming Languages and Operating Systems |
133
Voted
IFIP
1998
Springer
15 years 8 months ago
1998
Springer
It is widely agreed that mobile agents in conjunction with WWW technology will provide the technical foundation for future electronic commerce. A prerequisite for the use of mobile...
142
click to vote
POS
1998
Springer
15 years 8 months ago
1998
Springer
In light of advances in processor and networking technology, especially the emergence of network attached disks, the traditional client-server architecture becomes suboptimal for ...
190
Voted
ICFP
1997
ACM
15 years 8 months ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...
104
click to vote
IFIP
1994
Springer
15 years 8 months ago
1994
Springer
Development of a research project in Computer Science, integrating a considerable number of research institutions and about 1200 individual researchers all over a country with big...
142
click to vote
ICALP
1990
Springer
15 years 8 months ago
1990
Springer
Any tree can be represented in a max/ma//y compact form as a directed acyclic graph where common subtrees are factored and shared, being represented only once. Such a compaction ca...