J.UCS,
Volume 12
Volume 12,
Number 1,
2006
- Juan Carlos Augusto, Norman D. Black, H. Gerry McAllister, Paul J. McCullagh, Chris D. Nugent:
Pervasive Health Management: New Challenges for Health Informatics.
1-5
Electronic Edition (link) BibTeX
- Jean Roberts:
Pervasive Health Management and Health Management Utilizing Pervasive Technologies : Synergy and Issues.
6-14
Electronic Edition (link) BibTeX
- Diane J. Cook:
Health Monitoring and Assistance to Support Aging in Place.
15-29
Electronic Edition (link) BibTeX
- Haiying Zhou, Kun Mean Hou, Laurent Gineste, Christophe De Vaulx, Jean Ponsonnaille:
A New System Dedicated to Real-time Cardiac Arrhythmias Tele-assistance and Monitoring.
30-44
Electronic Edition (link) BibTeX
- Timothy O'Sullivan, John O'Donoghue, John Herbert, Richard Studdert:
CAMMD: Context-Aware Mobile Medical Devices.
45-58
Electronic Edition (link) BibTeX
- Anthony P. Glascock, David M. Kutzik:
The Impact of Behavioral Monitoring Technology on the Provision of Health Care in the Home.
59-79
Electronic Edition (link) BibTeX
- Adel Taweel, Alan L. Rector, Jeremy Rogers:
A Collaborative Biomedical Research System.
80-98
Electronic Edition (link) BibTeX
- Zhenjiang Miao, Baozong Yuan, Mengsun Yu:
A Pervasive Multimodal Tele-Home Healthcare System.
99-114
Electronic Edition (link) BibTeX
- Chi-Chan Chang, Chuen-Sheng Cheng, Yeu-Shiang Huang:
A Web-Based Decision Support System for Chronic Diseases.
115-125
Electronic Edition (link) BibTeX
Volume 12,
Number 2,
2006
Volume 12,
Number 3,
2006
- José Bravo, Xavier Alamán, Teresa Riesgo:
Ubiquitous Computing and Ambient Intelligence: New Challenges for Computing.
233-235
Electronic Edition (link) BibTeX
- Lidia Fuentes, Daniel Jiménez, Mónica Pinto:
Development of Ambient Intelligence Applications using Components and Aspects.
236-251
Electronic Edition (link) BibTeX
- Monica Tentori, Jesús Favela, Víctor M. González:
Quality of Privacy (QoP) for the Design of Ubiquitous Healthcare Applications.
252-269
Electronic Edition (link) BibTeX
- José Bravo, Ramón Hervás, Inocente Sánchez, Gabriel Chavira, S. Nava:
Visualization Services in a Conference Context: An Approach by RFID Technology.
270-283
Electronic Edition (link) BibTeX
- Pablo A. Haya, Germán Montoro, Abraham Esquivel, Manuel García-Herranz, Xavier Alamán:
A Mechanism for Solving Conflicts in Ambient Intelligent Environments.
284-296
Electronic Edition (link) BibTeX
- Diego López de Ipiña, Juan Ignacio Vázquez, Daniel García, Javier Fernández, Iván García, David Sainz, Aitor Almeida:
EMI2lets: A Reflective Framework for Enabling AmI.
297-314
Electronic Edition (link) BibTeX
- Felix Jesús Villanueva, David Villa, Francisco Moya, Jesús Barba, Fernando Rincón, Juan Carlos López:
Context-Aware QoS Provision for Mobile Ad-hoc Network -based Ambient Intelligent Environments.
315-317
Electronic Edition (link) BibTeX
- Jorge Portilla, Angel de Castro, Eduardo de la Torre, Teresa Riesgo:
A Modular Architecture for Nodes in Wireless Sensor Networks.
328-339
Electronic Edition (link) BibTeX
- Celeste Campo, Florina Almenárez Mendoza, Daniel Díaz Sánchez, Carlos García-Rubio, Andrés Marín López:
Secure Service Discovery based on Trust Management for ad-hoc Networks.
340
Electronic Edition (link) BibTeX
- Ignacio Nieto-Carvajal, Juan A. Botía Blaya, Antonio F. Gómez-Skarmeta:
Information and Hybrid Architecture Model of the OCP Contextual Information Management System.
357-366
Electronic Edition (link) BibTeX
Volume 12,
Number 4,
2006
- Nadia Nedjah, Luiza de Macedo Mourelle:
Evolvable Hardware.
367-369
Electronic Edition (link) BibTeX
- Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi:
A Multi-objective Genetic Approach to Mapping Problem on Network-on-Chip.
370-394
Electronic Edition (link) BibTeX
- Nadia Nedjah, Luiza de Macedo Mourelle:
Pareto-Optimal Hardware for Substitution Boxes.
395-407
Electronic Edition (link) BibTeX
- Ajith Abraham, Crina Grosan:
Automatic Programming Methodologies for Electronic Hardware Fault Monitoring.
408-431
Electronic Edition (link) BibTeX
- Tonio Biondi, Angelo Ciccazzo, Vincenzo Cutello, Santo D'Antona, Giuseppe Nicosia, Salvatore Spinella:
Multi-Objective Evolutionary Algorithms and Pattern Search Methods for Circuit Design Problems.
432-449
Electronic Edition (link) BibTeX
- Fernando Ciriaco, Taufik Abrão, Paul Jean Etienne Jeszensky:
DS/CDMA Multiuser Detection with Evolutionary Algorithms.
450-480
Electronic Edition (link) BibTeX
Volume 12,
Number 5,
2006
Volume 12,
Number 6,
2006
- Jörg Rothe, Hiroki Arimura:
Computational Challenges of Massive Data Sets and Randomness in Computation (J.UCS Special Issue on the First and Second Japanese-German Frontiers of Science Symposia).
579-580
Electronic Edition (link) BibTeX
- Benjamin Blankertz, Guido Dornhege, Steven Lemm, Matthias Krauledat, Gabriel Curio, Klaus-Robert Müller:
The Berlin Brain-Computer Interface: Machine Learning Based Detection of User Specific Brain States.
581-607
Electronic Edition (link) BibTeX
- Kazuyuki Nakamura, Tomoyuki Higuchi, Naoki Hirose:
Sequential Data Assimilation: Information Fusion of a Numerical Simulation and Large Scale Observation Data.
608-626
Electronic Edition (link) BibTeX
- Einoshin Suzuki:
Data Mining Methods for Discovering Interesting Exceptions from an Unsupervised Table.
627-653
Electronic Edition (link) BibTeX
- Johannes Blömer:
Randomness and Secrecy - A Brief Introduction.
654-671
Electronic Edition (link) BibTeX
- Makoto Matsumoto, Mutsuo Saito, Hiroshi Haramoto, Takuji Nishimura:
Pseudorandom Number Generation: Impossibility and Compromise.
672-690
Electronic Edition (link) BibTeX
- Akinori Kawachi, Takeshi Koshiba:
Progress in Quantum Computational Cryptography.
691-709
Electronic Edition (link) BibTeX
- Beate Bollig:
Testing Membership in Formal Languages Implicitly Represented by Boolean Functions.
710-724
Electronic Edition (link) BibTeX
- Tobias Riege, Jörg Rothe:
Improving Deterministic and Randomized Exponential-Time Algorithms for the Satisfiability, the Colorability, and the Domatic Number Problem.
725-745
Electronic Edition (link) BibTeX
- Harald Hempel:
Randomized Algorithms and Complexity Theory.
746-761
Electronic Edition (link) BibTeX
Volume 12,
Number 7,
2006
- Mariza Andrade da Silva Bigonha, Alex de Vasconcellos Garcia:
Selected Papers from SBLP 2006: The 10th Brazilian Symposium on Programming Languages.
762-762
Electronic Edition (link) BibTeX
- Anderson Faustino da Silva, Vítor Santos Costa:
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages.
764-787
Electronic Edition (link) BibTeX
- Anderson Faustino da Silva, Vítor Santos Costa:
Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers.
788-810
Electronic Edition (link) BibTeX
- Eduardo Kessler Piveta, Marcelo Hecht, Marcelo Soares Pimenta, Roberto Tom Price:
Detecting Bad Smells in AspectJ.
811-827
Electronic Edition (link) BibTeX
- Nuno F. Rodrigues, Luís Soares Barbosa:
Program Slicing by Calculation.
828-848
Electronic Edition (link) BibTeX
- Markus Schordan:
The Language of the Visitor Design Pattern.
849-867
Electronic Edition (link) BibTeX
- André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
Strong Mobility in Mobile Haskell.
868-884
Electronic Edition (link) BibTeX
- Alcides Calsavara, Aaron Borges, Leonardo Nunes, Diogo Variani, Carlos Kolb:
An Object Model for Interoperable Systems.
885-902
Electronic Edition (link) BibTeX
- Martin A. Musicante, Edinardo Potrich:
Expressing Workflow Patterns for Web Services: The Case of PEWS.
903-921
Electronic Edition (link) BibTeX
- Paula R. Ribeiro, Marco Antonio Barbosa, Luís Soares Barbosa:
Generic Process Algebra: A Programming Challenge.
922-937
Electronic Edition (link) BibTeX
- Rodrigo Machado, Alvaro Freitas Moreira, Renata de Matos Galante, Mirella Moura Moro:
Type-safe Versioned Object Query Language.
938-957
Electronic Edition (link) BibTeX
- Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes:
Defining Atomic Composition in UML Behavioral Diagrams.
958-979
Electronic Edition (link) BibTeX
Volume 12,
Number 8,
2006
Volume 12,
Number 9,
2006
- Attila Pethõ, Dezsö Sima:
Informatics in Higher Education.
1085-1086
Electronic Edition (link) BibTeX
- Ágnes Achs:
Creation and Evaluation of Fuzzy Knowledge-base.
1087-1103
Electronic Edition (link) BibTeX
- Attila Adamkó:
UML-Based Modeling of Data-oriented WEB Applications.
1104-1117
Electronic Edition (link) BibTeX
- Peter Antal, Norbert Bátfai, Istvá Fazekas, Péter Jeszenszky:
The mobiDÁIK Educational Portal.
1118-1127
Electronic Edition (link) BibTeX
- Balázs Benyó, Miklós F. Hatwágner, Tamás Heckenast, Katalin Kovács, Ágnes Varga, Norbert Varjasi:
Design and Implementation of Enum-Based Services.
1128-1138
Electronic Edition (link) BibTeX
- Tamás Bréczes, János. Sztrik:
Performance Modeling of Proxy Cache Servers.
1139-1153
Electronic Edition (link) BibTeX
- József Berke, Zsolt Polgár, Zoltán Horváth, Tamás Nagy:
Developing on Exact Quality and Classification System for Plant Improvement.
1154-1164
Electronic Edition (link) BibTeX
- Antal Buza:
Extension of CQL over Dynamic Databases.
1165-1176
Electronic Edition (link) BibTeX
- Miklós Espák:
Japlo: Rule-based Programming on Java.
1177-1189
Electronic Edition (link) BibTeX
- Maria Fazekas:
Analysing Data of Childhood Acute Lymphoid Leukaemia by Seasonal Time Series Methods.
1190-1195
Electronic Edition (link) BibTeX
- Nándor Fodor:
4M - Software for Modelling and Analysing Cropping Systems.
1196-1207
Electronic Edition (link) BibTeX
- Pawel Gocek, Michael Hartmann, Heinz Schleusener:
Modern Technologies in Client-Server Architecture for Geo-based Interactive Web Portals.
1208-1214
Electronic Edition (link) BibTeX
- János Gonda:
The Number of the Modulo n Roots of the Polynomial xv - xv and the RSA.
1215-1228
Electronic Edition (link) BibTeX
- András Hajdu, János Kormos, Zsolt Lencse, Lajos Trón, Miklós Emri:
The "MEDIP-Platform Independent Software System for Medical Image Processing" Project.
1229-1239
Electronic Edition (link) BibTeX
- András Hajdu, János Kormos, T. Tóth, Kristian Vereb:
Applications of Neighborhood Sequence in Image Processing and Database Retrieval.
1240-1253
Electronic Edition (link) BibTeX
- László Horváth, Imre J. Rudas:
Course Modeling for Student Profile Based Flexible Higher Education on the Internet.
1254-1266
Electronic Edition (link) BibTeX
- István Koós:
Mathematical Models of Endocrine Systems.
1267-1277
Electronic Edition (link) BibTeX
- Ildikó László, Ferenc Schipp, Samuel P. Kozaitis:
Construction of Wavelets and Applications.
1278-1291
Electronic Edition (link) BibTeX
- Tamás Lukovszki, Christian Schindelhauer, Klaus Volbert:
Resource Efficient Maintenance of Wireless Network Topologies.
1292-1311
Electronic Edition (link) BibTeX
- Benedek Nagy, László Szegedi:
Membrane Computing and Graphical Operating Systems.
1312-1331
Electronic Edition (link) BibTeX
- Ferenc Nagy:
Parameter Estimation of the Cauchy Distribution in Information Theory Approach.
1332-1344
Electronic Edition (link) BibTeX
- Péter Nagy, Istvan Pintér, Mihály Bagány:
Phasetransition-like Changes in Human Visual Information Processing.
1345-1357
Electronic Edition (link) BibTeX
- Robert Sinka:
Primary School Teachers in the Information Society.
1358-1372
Electronic Edition (link) BibTeX
- Péter Takács:
The Additional Examination of the Kudo-Mathuria Time-Release Protocol.
1373-1384
Electronic Edition (link) BibTeX
- József Tick, Zoltán Kovacs, Ferenc Friedler:
Synthesis of Optimal Workflow Structure.
1385-1392
Electronic Edition (link) BibTeX
- T. Tóth, Ferenc Erdélyi:
Systems Engineering: A New Approach to Complex IT-based Technological Systems in Engineering Education.
1393-1404
Electronic Edition (link) BibTeX
- Katalin Pásztor-Varga, Magda Várterész:
Computer Science, Logic, Informatics Education.
1405-1410
Electronic Edition (link) BibTeX
Volume 12,
Number 10,
2006
Volume 12,
Number 11,
2006
- Francisco Javier López-Fraguas:
Programming and Languages.
1464-1465
Electronic Edition (link) BibTeX
- Antonio J. Fernández, Patricia M. Hill:
An Interval Constraint Branching Scheme for Lattice Domains.
1466-1499
Electronic Edition (link) BibTeX
- Maryam Bavarian, Verónica Dahl:
Constraint Based Methods for Biological Sequence Analysis.
1500-1520
Electronic Edition (link) BibTeX
- David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
Process Equivalences as Global Bisimulations.
1521-1550
Electronic Edition (link) BibTeX
- María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva:
Verifying Real-Time Properties of tccp Programs.
1551-1573
Electronic Edition (link) BibTeX
- Jaime Sánchez-Hernández:
Constructive Failure in Functional-Logic Programming: From Theory to Implementation.
1574-1593
Electronic Edition (link) BibTeX
- José Miguel Cleva, Isabel Pita:
Verification of CRWL Programs with Rewriting Logic.
1594-1617
Electronic Edition (link) BibTeX
- Manuel Clavel, Miguel Palomino, Adrián Riesco:
Introducing the ITP Tool: a Tutorial.
1618-1650
Electronic Edition (link) BibTeX
- Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños:
Magic Sets for the XPath Language.
1651-1678
Electronic Edition (link) BibTeX
- Pascual Julián, Ginés Moreno, Jaime Penabad:
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs.
1679-1699
Electronic Edition (link) BibTeX
Volume 12,
Number 12,
2006
Copyright © Wed Jun 4 19:15:48 2008
by Michael Ley (ley@uni-trier.de)
