Sciweavers

41 search results - page 9 / 9
» Named Entity Generation Using Sampling-based Structured Pred...
Sort
View
TGC
2007
Springer
13 years 11 months ago
A Protocol Compiler for Secure Sessions in ML
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
Ricardo Corin, Pierre-Malo Deniélou