3006 search results - page 31 / 602 » Overview |
179
click to vote
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedi...
140
Voted
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
AIED
2009
Springer
16 years 29 days ago
2009
Springer
132
Voted
CLOUDCOM
2009
Springer
16 years 28 days ago
2009
Springer