Sciweavers

9888 search results - page 114 / 1978
» compute 2009
Sort
View
ICSOC
2009
Springer
16 years 12 days ago
Requirements-Driven Collaborative Choreography Customization
Ayman Mahfouz, Leonor Barroca, Robin C. Laney, Bas...
ICTAC
2009
Springer
16 years 12 days ago
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
Nikola Benes, Jan Kretínský, Kim Gul...
MEMBRANE
2009
Springer
16 years 12 days ago
Solving NP-Complete Problems by Spiking Neural P Systems with Budding Rules
Tseren-Onolt Ishdorj, Alberto Leporati, Linqiang P...
GROUP
2009
ACM
16 years 11 days ago
CIVIL: support geo-collaboration with information visualization
Anna Wu, Xiaolong Zhang, Gregorio Convertino, John...
EXACT
2009
15 years 3 months ago
Identifying and Explaining Map Quality Through Provenance: A User Study
Nicholas Del Rio, Paulo Pinheiro da Silva, Raed Al...