欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
模板:LID-Architecture
来自开放百科 - 灰狐
（版本间的差异）
(以内容'<div style="margin: 5px;"> <table style="background:#f0f0f0; border: blue 1px solid; text-align: center" cellspacing="5"> <tr> <td> </td> <td> </td> ...'创建新页面) |
2010年9月2日 (四) 10:40的最后版本
|
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 | ||||||||||
分享您的观点
