Compliance preorders for web services
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Model checking adaptive multilevel service compositions
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Modelling session types using contracts
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
We address the question of how to organize penbased interfaces for mathematical software systems, both for computational mathematics packages and document processing software. Our architecture includes components for ink collection, mathematically-oriented ...