Content of Issue 14
DOI: 10.3217/jucs-020-14
|
Managing Editor's Column |
C. Gütl |
1875 |
Epidemia: Variable Consistency for Transactional Cloud Databases |
I. Arrieta-Salinas, J.E. Armendáriz-Iñigo, J. Navarro |
1876 |
Formal Modeling and Verification of Motor Drive Software for Networked Motion Control Systems |
Y. Kim, I. Kim, I. Kang, T. Kim, M. Sung |
1903 |
An Effective Genetic Algorithm for Multi-objective Integrated Process Planning and Scheduling with Various Flexibilities in Process Planning |
X. Li, X. Wen, L. Gao |
1926 |
A Self-stabilizing Algorithm for Locating the Center of Maximal Outerplanar Graphs |
M. Pańczyk, H. Bielak |
1951 |
Context Classification Framework for Handset-based End User Studies |
T. Soikkeli, J. Karikoski, H. Hämmäinen |
1964 |