Sciweavers

10575 search results - page 177 / 2115
» Programming Languages
Sort
View
DSL
2009
14 years 8 months ago
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell
Daniel Lincke, Patrik Jansson, Marcin Zalewski, Ce...
APLAS
2010
ACM
14 years 6 months ago
Liveness of Communicating Transactions (Extended Abstract)
Edsko de Vries, Vasileios Koutavas, Matthew Hennes...
IFIP
2010
Springer
14 years 5 months ago
Towards Automatic Analysis of Election Verifiability Properties
Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourji...
68
Voted
IFIP
2010
Springer
14 years 5 months ago
Supporting Software Services Discovery and Sharing in Collaborative Networks
Alexandre Perin-Souza, Ricardo J. Rabelo
83
Voted
IFIP
2010
Springer
14 years 5 months ago
Security Analysis of the MPLS Label Distribution Protocol
Daniel Guernsey, Aaron Engel, Jonathan Butts, Suje...