Sciweavers

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