Sciweavers

10447 search results - page 292 / 2090
» The Philosophy of Computer Science
Sort
View
ICMT
2010
Springer
15 years 4 months ago
A Constructive Approach to Testing Model Transformations
Camillo Fiorentini, Alberto Momigliano, Mario Orna...
152
Voted
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