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 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 |
484 |
| 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 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 |
TRAILER Project
(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 Case-Study |
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 |
|
