Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 19

Content of Issue 1
DOI: 10.3217/jucs-019-01
Managing Editor's Column C. Gütl 1
From a Solution Model to a B Model for Verification of Safety Properties P. Bon, S. Collart-Dutilleul 2
Systematic Evaluation of Software Product Line Architectures E.A. Oliveira Junior, I.M.S. Gimenes, J.C. Maldonado, P.C. Masiero, L. Barroca 25
Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project H.-S. Min, S.-M. Chung, J.-Y. Choi 53
Model-Driven Framework for Design and Production of Low-Budget Stereoscopic TV Content A. Spasić, D. Janković 78
An Aspect-Oriented Approach for Spatial Concerns in Web Applications M. Urbieta, G. Rossi, S.E. Gordillo, A. Rodrigues, J. Araujo, A. Moreira 110
Gyrolayout: A Hyperbolic Level-of-Detail Tree Layout D.K. Urribarri, S.M. Castro, S.R. Martig 132
A Catalog of Aspect Refactorings for Spring/AOP S.A. Vidal, C. Marcos 157
Content of Issue 2
DOI: 10.3217/jucs-019-02
Software Components, Architectures and Reuse
Modeling, Customization and Evaluation
E. Santana de Almeida, F. Oquendo 183
MDD Adoption in a Small Company: Risk Management and Stakeholders' Acceptance F. Tomassetti, M. Torchiano, L. Bazzani 186
Modeling and Verification of Reconfigurable Actor Families H. Sabouri, R. Khosravi 207
Domain-Oriented Customization of Service Platforms: Combining Product Line Engineering and Service-Oriented Computing K. Schmid, H. Eichelberger, C. Kröher 233
Evaluation of a Systematic Approach to Requirements Reuse F. Barreto Vavassori Benitti, R.C. da Silva 254
Content of Issue 3
DOI: 10.3217/jucs-019-03
Managing Editor's Column C. Gütl 281
Co-Allocation with Collective Requests in Grid Systems M. Cankar, M. Artač, M. Šterk, U. Lotrič, B. Slivnik 282
Fast Self-Reconfigurable Embedded System on Spartan-3 E. Cantó, M. Fons, F. Fons, M. López, R. Ramos 301
Analysis of Mobile Service Usage Behaviour with Bayesian Belief Networks P. Kekolahti, J. Karikoski 325
Specifying Patterns of Educational Settings by means of Ontologies A. Rius, J. Conesa, E. García-Barriocanal, M.-Á. Sicilia 353
Text Representation for Efficient Document Annotation C. Seifert, E. Ulbrich, R. Kern, M. Granitzer 383
A Decoupled Architecture for Scalability in Text Mining Applications J. Villalon, R.A. Calvo 406
A Comparison of Five Programming Languages in a Graph Clustering Scenario M. Stein, A. Geyer-Schulz 428
Content of Issue 4
DOI: 10.3217/jucs-019-04
Hybrid and Ensemble Methods in Machine Learning P. Kazienko, E. Lughofer, B. Trawiński 457
Concept Drift Detection and Model Selection with Simulated Recurrence and Ensembles of Statistical Detectors P. Sobolewski, M. Woźniak 462
Improving Accuracy of Decision Trees Using Clustering Techniques J. Torres-Niño, A. Rodríguez-González, R. Colomo-Palacios, E. Jiménez-Domingo, G. Alor-Hernandez 483
Boosting-based Multi-label Classification T. Kajdanowicz, P. Kazienko 502
An Integrated MFFP-tree Algorithm for Mining Global Fuzzy Rules from Distributed Databases C.-W. Lin, T.-P. Hong, Y.-F. Chen, T.-C. Lin, S.-T. Pan 521
Evolutionary Fuzzy System Ensemble Approach to Model Real Estate Market based on Data Stream Exploration B. Trawiński 539
A Semi-Supervised Ensemble Learning Method for Finding Discriminative Motifs and its Application T.N. Le, T.B. Ho, S. Kawasaki, T. Kanda, K. Takabayashi, S. Wu, O. Yokosuka 563
Integrating Multiple Experts for Correction Process in InteractiveRecommendation Systems X.H. Pham, J.J. Jung, N.T. Nguyen 581
Content of Issue 5
DOI: 10.3217/jucs-019-05
Innovative Instructional Technologies H. Uzunboylu 600
Effectiveness of Cloud Systems and Social Networks in Improving Self-directed Learning Abilities and Developing Positive Seamless Learning Perceptions F. Ozdamli 602
Meta-Cognitive Tool Development for History Teaching: Investigating how Software Usability Affects Student Achievements D. Karahoca 619
Evaluation of Turkish "E-Okul" System in Terms of Usability A. Tüfekci 639
The Use of Social Networking Sites in Education: A Case Study of Facebook H. Bicen, H. Uzunboylu 658
Tweeters on Campus: Twitter a Learning Tool in Classroom? A. Dhir, K. Buragga, A.A. Boreqqah 672
Parent Opinions with Regard to Elementary School Student's Use of the Internet M. Tezer 692
The Role of the iPad in the Hands of the Learner A. Dhir, N.M. Gahwaji, G. Nyman 706
Content of Issue 6
DOI: 10.3217/jucs-019-06
Managing Editor's Column C. Gütl 728
Investigations on a Pedagogical Calculus of Constructions L. Colson, V. Demange 729
The Riesz Representation Operator on the Dual of C[0; 1] is Computable T. Jafarikhah, K. Weihrauch 750
Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method K. Ogata, K. Futatsugi 771
LeadFlow4LD: A Method for the Computational Representation of the Learning Flow and Data Flow in Collaborative Learning L. Palomino-Ramírez, M.L. Bote-Lorenzo, J.I. Asensio-Pérez, L. Vignollet, Y.A. Dimitriadis 805
Defining Distribution Constraints in Distributed User Interfaces A. Peñalver, J.J. López, F. Botella, J.A. Gallud 831
Content of Issue 7
DOI: 10.3217/jucs-019-07
Interaction Design in Educational Environments A.S. Mashat, H.M. Fardoun, J.A. Gallud 851
The Implementation, Deployment and Evaluation of a Mobile Personal Learning Environment M.Á. Conde, F.J. García-Peñalvo, M. Alier, J. Piguillem 854
On the Development and Usability of a Diagram-based Collaborative Brainstorming Component D. Azevedo, B. Fonseca, H. Paredes, S. Lukosch, J. Janeiro, R.O. Briggs 873
Collaborative e-Learning through Drag & Share in Synchronous Shared Workspaces F.A. Marco, V.M. Penichet, J.A. Gallud 894
PETs at CSCL Service: Underutilised Potentials for Privacy Enhancing Distance Education M. Bourimi, D. Kesdogan, M. Heupel, D.e.D.I. Abou-Tair, N. Lambropoulos 912
Assessment of Open-Ended Questions using a Multidimensional Approach for the Interaction and Collaboration of Learners in E-Learning Environments L.P. Hoang, N. Arch-Int 932
Interactive Design System for Schools using Cloud Computing H.M. Fardoun, B. Zafar, A.H. Altalhi, A. Paules 950
A Proposal of an Architecture for Educational Environments J.E. Garrido, V.M.R. Penichet, M.D. Lozano 965
Collaboration and Learning Styles in Pure Online Courses: an Action Research M. Blagojević, M. Milosević 984
Examining the Educational User Interface, Technology and Pedagogy for Arabic Speaking Children in Kuwait A. Dhir, A. Alsumait 1003
Content of Issue 8
DOI: 10.3217/jucs-019-08
Advances in the Development of Highly Interactive Systems A. Peñalver Benavent, F. Botella Beviá, J.A. Gallud Lázaro 1023
Using SWET-QUM to Compare the Quality in Use of Semantic Web Exploration Tools J.L. González Sánchez, R. García, J.M. Brunetti, R. Gil, J.M. Gimeno 1025
Applying Usability Engineering in InterMod Agile Development Methodology. A Case Study in a Mobile Application B. Losada, M. Urretavizcaya, J.-M. López-Gil, I. Fernández-Castro 1046
A Method to Evaluate Emotions in Educational Video Games for Children N. Padilla-Zea, J.R. López-Arcos, J.L. González Sánchez, F.L. Gutiérrez Vela, A. Abad-Arranz 1066
An Evaluation of Targeting Accuracy in Immersive First-Person Shooters Comparing Different Tracking Approaches and Mapping Models A.S. García, A. Olivas, J.P. Molina, J. Martínez, P. González, D. Martínez 1086
Automatic Detection of Falls and Fainting J.E. Garrido, V.M. Penichet, M.D. Lozano, J.A.F. Valls 1105
Website Interactivity and Repeated Exposure, what Influences User Experience? O. Al-Shamaileh, A. Sutcliffe 1123
Pick & Drag & Drop: Augmented Reality for Multiple File Sharing V. Herskovic, C. Fuentes, R. Ibarra, J. Bustos-Jiménez 1140
Gesturing in the Air: Supporting Full Mobility in Remote Collaboration on Physical Tasks W. Huang, L. Alem 1158
A Case Study on User Experience (UX) Evaluation of Mobile Augmented Reality Prototypes A. Dhir, M. Al-kahtani 1175
Content of Issue 9
DOI: 10.3217/jucs-019-09
Ambient Assisted Living: Home Care R. Hervás, J. Bravo 1197
Effects of Virtual Reality during Exercise in Children J. Guixeres, L. Cantero, E. Lurbe, J. Saiz, M. Alcañiz, A. Cebolla, P. Escobar, R. Baños, C. Botella, J.F. Lison, J. Alvarez 1199
Evaluation of Bluetooth Low Energy Capabilities for Tele-mobile Monitoring in Home-care A.J. Jara, D. Fernandez, P. Lopez, M.A. Zamora, A.F. Skarmeta, L. Marin 1219
A Modular System for Rapid Development of Telemedical Devices J. Havlik, L. Lhotska, J. Parak, J. Dvorak, Z. Horcik, M. Pokorny 1242
An Alert System for People Monitoring Based on Multi-Agents using Maps P. Castro Garrido, I. Luque Ruiz, M.Á. Gómez-Nieto 1257
A Tool for Telediagnosis of Cardiovascular Diseases in a Collaborative and Adaptive Approach M.-A. Sanchez-Santana, J.-B. Aupet, M.-L. Betbeder, J.-C. Lapayre, A. Camarena-Ibarrola 1275
Energy Efficient Smartphone-Based Activity Recognition using Fixed-Point Arithmetic D. Anguita, A. Ghio, L. Oneto, X. Parra, J.L. Reyes-Ortiz 1295
An Enhanced Process of Concept Alignment for Dealing with Overweight and Obesity M. de Lourdes Martinez-Villaseñor, M. González-Mendoza 1315
Achieving Adaptive Augmented Reality through Ontological Context-Awareness applied to AAL Scenarios R. Hervás, J. Bravo, J. Fontecha, V. Villarreal 1334
Content of Issue 10
DOI: 10.3217/jucs-019-10
Managing Editor's Column C. Gütl 1350
Key-Insulated Signcryption J. Fan, Y. Zheng, X. Tang 1351
Term Satisfiability Problem for Two-Element Algebras is in QL or is NQL-Complete T.A. Gorazd, J. Krzaczkowski 1375
An Algebraic Theory of Epistemic Processes H.R. Mahrooghi, R. Jalili 1396
Model-Driven Development of Aspect-Oriented Software Architectures J. Pérez, I. Ramos, J.A. Carsí, C. Costa-Soria 1433
A Team Formation and Project-based Learning Support Service for Social Learning Networks H. Spoelstra, P. van Rosmalen, E. van de Vrie, M. Obreza, P. Sloep 1474
Content of Issue 11
DOI: 10.3217/jucs-019-11
Outcomes of International Research Projects on Technology Applied to Education F.J. García-Peñalvo, J.Á. Velázquez-Iturbide, M. Llamas-Nistal 1496
Teaching Innova Project: the Incorporation of Adaptable Outcomes in Order to Grade Training Adaptability Á. Fidalgo, M.L. Sein-Echaluce, D. Lerís, O. Castañeda 1500
Discovering Learner Styles in Adaptive e-Learning Hypermedia Systems M. Lamia, L.M. Tayeb 1522
Socio-semantic Integration of Educational Resources - the Case of the mEducator Project S. Dietze, E. Kaldoudi, N. Dovrolis, D. Giordano, C. Spampinato, M. Hendrix, A. Protopsaltis, D. Taibi, H.Q. Yu 1543
Proof Assistant Based on Didactic Considerations J. Pais, A. Tasistro 1570
One Computer per Student City - Total UCA
An All Inclusive Totality under Discussion
L.M. Costi Santarosa, D. Conforto, F. Chagas Schneider 1597
Language Learning in Educational Virtual Worlds
- a TAM Based Assessment
C.-M. Lorenzo, L. Lezcano, S. Sánchez-Alonso 1615
A Dual-Modal System that Evaluates User's Emotions in Virtual Learning Environments and Responds Affectively M. Feidakis, T. Daradoumis, S. Caballe, J. Conesa, D. Gañán 1638
(Tagging, Recognition, Acknowledgment of Informal Learning Experiences)
A Methodology to Make Learners' Informal Learning Activities Visible to the Institutions
F.J. García-Peñalvo, M.Á. Conde, V. Zangrando, A. García-Holgado, A.M. Seoane, M. Alier, N. Galanis, F. Brouns, H. Vogten, D. Griffiths, A. Mykowska, G. Ribeiro-Alves, M. Minović 1661
Support Platform for Learning about Multimodal Biometrics U. Šošević, I. Milenković, M. Milovanović, M. Minović 1684
Content of Issue 12
DOI: 10.3217/jucs-019-12
Managing Editor's Column C. Gütl 1701
Applying Professional Solutions within the Educational Environments by Means of Cloud Computing: Coaching for Teachers H.M. Fardoun, A. Mashat, S.R. López 1703
An Investigation into the Relationship Between Perceived Quality-of-Experience and Virtual Acoustic Environments: the Case of 3D Audio Telephony K. ur Rehman Laghari, T.H. Falk, M. Hyder, M. Haun, C. Hoene, N. Crespi 1718
The Analysis of the Users' Response to the Linear Internet Video Advertising by Using QoE Methods M. Ljubojević, V. Vasković, D. Starčević 1736
Towards Self-Service Government - A Study on the Computability of Legal Eligibilities A. Paulin 1761
A Framework to Develop Web Applications Based on RFID Panels P.G. Villanueva, R. Tesoriero, J.A. Gallud, A.H. Altalhi 1792
A Method for Collaborative Argumentation in Merging Individual Ontologies J.M. Hauagge Dall Agnol, C.A. Tacla 1808
Initializing Matrix Factorization Methods on Implicit Feedback Databases B. Hidasi, D. Tikk 1834
Promoting International Interoperability of Research Information Systems: VIVO and CERIF L. Lezcano, B. Jörg, B. Lowe, J. Corson-Rikert 1854
Content of Issue 13
DOI: 10.3217/jucs-019-13
Industrial and Business Applications of Semantic Web Technologies R. Colomo-Palacios, T. Moser, R. Valencia-García 1868
Web Resource Sense Disambiguation in Web of Data F. Matinfar, M. Nematbakhsh, G. Lausen 1871
Business Process Management Applications based on Semantic Process Models: the ProcessGene Suite
A. Wasser, M. Lincoln 1892
A Semantic based Platform for Research and Development Projects Management in the ICT Domain C. García-Moreno, Y. Hernández-González, M.Á. Rodríguez-García, J.A. Miñarro-Giménez, R. Valencia-García, A. Almela 1914
A Tool-based Semantic Framework for Security Requirements Specification O. Daramola, G. Sindre, T. Moser 1940
Ontology Combined Structural and Operational Semantics for Resource-Oriented Service Composition C. Xie, H. Cai, L. Jiang 1963
Semantic Integration of Heterogeneous Data Sources in the MOMIS Data Transformation System M. Vincini, D. Beneventano, S. Bergamaschi 1986
An Item based Geo-Recommender System Inspired by Artificial Immune Algorithms A. Cabanas-Abascal, E. García-Machicado, L. Prieto-González, A. de Amescua Seco 2013
Content of Issue 14
DOI: 10.3217/jucs-019-14
Cloud Education Environment R. Hernandez Rizzardini, H.-C. Schmitz, A. Mikroyannidis, C. Delgado Kloos, L. Chao 2034
Using Cloud Services to Develop Learning Scenarios from a Software Engineering Perspective M. Jansen, L. Bollen, N. Baloian, H.U. Hoppe 2037
Cloud Services, Interoperability and Analytics within a ROLE-enabled Personal Learning Environment R. Hernandez Rizzardini, B.H. Linares, A. Mikroyannidis, H.-C. Schmitz 2054
A Generic Architecture for Emotion-based Recommender Systems in Cloud Learning Environments D. Leony, H.A. Parada Gélvez, P.J. Muñoz-Merino, A. Pardo, C. Delgado Kloos 2075
weSPOT: A Personal and Social Approach to Inquiry-Based Learning A. Mikroyannidis, A. Okada, P. Scott, E. Rusman, M. Specht, K. Stefanov, P. Boytchev, A. Protopsaltis, P. Held, S. Hetzner, K. Kikis-Papadakis, F. Chaimala 2093
Laboratories as a Service (LaaS): Using Cloud Technologies in the Field of Education R. Pastor, A.C. Caminero, D. Sánchez, R. Hernández, S. Ros, A. Robles-Gómez, L. Tobarra 2112
Ensemble - an E-Learning Framework R. Queirós, J.P. Leal 2127
Evaluation on Students' and Teachers' Acceptance of Widget- and Cloud-based Personal Learning Environments S. Kroop 2150
Content of Issue 15
DOI: 10.3217/jucs-019-15
Managing Editor's Column C. Gütl 2172
An Algorithm for Peer Review Matching in Massive Courses for Minimising Students' Frustration I. Estévez-Ayres, R.M. Crespo-García, J.A. Fisteus, C. Delgado Kloos 2173
Behavioral and Temporal Rule Checking for Gaussian Random Process – a Kalman Filter Example D. Drusinsky 2198
Cluster Perturbation Simulated Annealing for Protein Folding Problem J. Frausto-Solís, M. Sánchez-Pérez, E. Liñan-García, J.P. Sánchez-Hernández, M. Ramachandran 2207
A Personalized Recommender System Based on a Hybrid Model W. Hussein, R.M. Ismail, T.F. Gharib, M.G.M. Mostafa 2224
Toward a Module-centralized and Aspect-oriented Monitoring Framework in Clouds K. Ma, R. Sun, A. Abraham 2241
NIKVision: Developing a Tangible Application for and with Children J. Marco, S. Baldassarri, E. Cerezo 2266
Self-Aware Trader: A New Approach to Safer Trading J. Martínez Fernández, J.C. Augusto, G. Trombino, R. Seepold, N. Martinez Madrid 2292
Web Search Results Exploration via Cluster-Based Viewes and Zoom-Based Navigation K. Rástočný, M. Tvarožek, M. Bielikova 2320
Content of Issue 16
DOI: 10.3217/jucs-019-16
Information Security I. You, E. Weippl 2347
An Efficient Ciphertext-Policy Attribute-Based Access Control towards Revocation in Cloud Computing X. Xie, H. Ma, J. Li, X. Chen 2349
Multiplication and Squaring with Shifting Primes on OpenRISC Processors with Hardware Multiplier L. Marin, A.J. Jara, A.F. Skarmeta 2368
A Privacy Preserving Message Delivery Protocol Using Identity-Hidden Index in VDTNs Y. Park, C. Sur, S. Shin, K.-H. Rhee, C. Seo 2385
Graph-based KNN Algorithm for Spam SMS Detection T.P. Ho, H.-S. Kang, S.-R. Kim 2404
A Security Real-time Privacy Amplification Scheme in QKD System B. Liu, B. Zhao, B. Liu, C. Wu 2420
Security Issues and Attacks on the GSM Standard: a Review G. Cattaneo, G. De Maio, U. Ferraro Petrillo 2437
Observations of Skipjack-like Structure with SP/SPS Round Function T. Cui, C. Jin, G. Zhang 2453
Text Analysis for Monitoring Personal Information Leakage on Twitter D. Choi, J. Kim, X. Piao, P. Kim 2472
Content of Issue 17
DOI: 10.3217/jucs-019-17
Towards Sustainable Computing through Ambient Intelligence D. López-de-Ipiña, J. Bravo 2486
Enabling User Access Control in Energy-constrained Wireless Smart Environments J.Á. Muñoz Naranjo, P. Orduña, A. Gómez-Goiri, D. López-de-Ipiña, L. González Casado 2490
MECCANO: a Mobile-Enabled Configuration Framework to Coordinate and Augment Networks of Smart Objects A.M. Bernardos, L. Bergesio, J. Iglesias, J.R. Casar 2503
Design Considerations for Application Selection and Control in Multi-user Public Displays C. Taivan, R. José, B. Silva, I. Elhart, J. Cardoso 2526
Implementation of a Building Automation System Based on Semantic Modeling J. Caffarel, S. Jie, J. Olloqui, R. Martínez, A. Santamaría 2543
Assessing the Impact of the homeML Format and the homeML Suite within the Research Community H. McDonald, C. Nugent, D. Finlay, G. Moore, W. Burns, J. Hallberg 2559
An Agent-mediated Ontology-based Approach for Composite Activity Recognition in Smart Homes G. Okeyo, L. Chen, H. Wang 2577
CUBICA: An Example of Mixed Reality J. Mateu, X. Alamán 2598
A Multimodal Ambient Intelligence Environment for Playful Learning H. Papagiannakis, M. Antona, S. Ntoa, C. Stephanidis 2617
Content of Issue 18
DOI: 10.3217/jucs-019-18
Technologies for Enhancing Accessibility and Fighting Info-exclusion J. Barroso, F.E. Sandnes, H. Paredes, L. Hadjileontiadis, P. Martins 2637
Can I Access my School Website? Auditing Accessibility of the Portuguese Teaching Institutions Websites R. Gonçalves, J. Martins, J. Pereira, V. Santos, M. Pérez Cota 2639
A Model-Based Graphical Editor to Design Accessible Media Players M. González-García, L. Moreno, P. Martínez, R. Miñon, J. Abascal 2656
Development of Navigation Skills through Audio Haptic Videogaming in Learners who are Blind J. Sánchez, M. de Borba Campos 2677
A Virtual Reality Test for the Identification of Memory Strengths of Dyslexic Students in Higher Education K. Kalyvioti, T.A. Mikropoulos 2698
From Blended to Inclusive Learning: Accessibility, Profiles, Openness, and Higher Education S.B. Dias, J.A. Diniz 2722