Sciweavers

11016 search results - page 368 / 2204
» Cloud Computing for Science
Sort
View
ICMT
2010
Springer
15 years 4 months ago
A Constructive Approach to Testing Model Transformations
Camillo Fiorentini, Alberto Momigliano, Mario Orna...
CSE
2009
IEEE
15 years 4 months ago
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach
Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshi...
DLT
2009
15 years 4 months ago
Definability in the Infix Order on Words
Oleg V. Kudinov, Victor L. Selivanov