121
click to vote
USM
2000
15 years 7 months ago
2000
The deployment for new Internet services is limited by existing service creation platforms which can be, characterized as being closed, vertical and best effort in nature. We belie...
122
click to vote
CTCS
1995
Springer
15 years 7 months ago
1995
Springer
We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and s...
136
click to vote
USM
2000
15 years 7 months ago
2000
Due to the requirements of open service markets, the structure of networks and application systems is changing. To handle the evolving complex distributed systems, new concepts for...
131
click to vote
USM
2000
15 years 7 months ago
2000
In the real world there seem to be essential differences between shops, tourist offices, city halls, theatres and museums. However, when we try to design virtual environments allow...