Sciweavers

10871 search results - page 203 / 2175
» A stable programming language
Sort
View
IFIP
2010
Springer
13 years 9 months ago
Towards a Performance Measurement System to Control Disaster Response
Carine Rongier, Didier Gourc, Matthieu Lauras, Fra...
IFIP
2010
Springer
13 years 9 months ago
Care Network Coordination for Chemotherapy at Home: A Case Study
Tian Zhang, Eric Marcon, Maria di Mascolo
DSL
2009
13 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
13 years 7 months ago
Liveness of Communicating Transactions (Extended Abstract)
Edsko de Vries, Vasileios Koutavas, Matthew Hennes...
IFIP
2010
Springer
13 years 5 months ago
Towards Automatic Analysis of Election Verifiability Properties
Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourji...