欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
模板:LID-Architecture
来自开放百科 - 灰狐
|
Vocabularies
|
||||||||||
| Format Negotiation Service | ||||||||||
| URL-to-URL messaging | Traversal Service | |||||||||
| Session management | XML-RSig | |||||||||
|
Public-key-based authentication
|
OpenID-based authentication
|
Common look-and-feel |
||||||||
| Yadis services discovery | ||||||||||
分享您的观点
