B. Benyó, M.F. Hatwágner, T. Heckenast, K. Kovács, Á. Varga, N. Varjasi:
Design and Implementation of Enum-Based Services
/jucs_12_9/design_and_implementation_of

page 1128 - 1138
Vol.12 / Issue 9

E. Börger:
The Origins and the Development of the ASM Method for High Level System Design and Analysis
/jucs_8_1/the_origins_and_the

page 2 - 74
Vol.8 / Issue 1

J. Díaz, E. Ros, R. Rodriguez-Gomez, B. del Pino:
Real-time Architecture for Robust Motion Estimation under Varying Illumination Conditions
/jucs_13_3/real_time_architecture_for

page 363 - 376
Vol.13 / Issue 3

M. Goudarzi, S. Hessabi, A. Mycroft:
Object-Oriented Embedded System Development Based on Synthesis and Reuse of OO-ASIPs
/jucs_10_9/object_oriented_embedded_system

page 1123 - 1155
Vol.10 / Issue 9

M. Kronenburg, C. Peper:
Application of the FOREST Approach to the Light Control Case Study
/jucs_6_7/application_of_the_forest

page 679 - 703
Vol.6 / Issue 7

N. Nedjah, L. de Macedo Mourelle:
Pareto-Optimal Hardware for Substitution Boxes
/jucs_12_4/pareto_optimal_hardware_for

page 395 - 407
Vol.12 / Issue 4

A. Neyem, S.F. Ochoa, J.A. Pino:
Integrating Service-Oriented Mobile Units to Support Collaboration in Ad-hoc Scenarios
/jucs_14_1/integrating_service_oriented_mobile

page 88 - 122
Vol.14 / Issue 1

M. Platzner, B. Rinner, R. Weiss:
Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation
/jucs_1_12/exploiting_parallelism_in_constraint

page 811 - 820
Vol.1 / Issue 12

B. Rinner, M. Schmid, R. Weiss:
A Rapid Prototyping Environment for Multi-DSP Systems based on Accurate Performance Prediction
/jucs_10_2/a_rapid_prototyping_environment

page 120 - 144
Vol.10 / Issue 2

J. Ruf:
RAVEN: Real-Time Analyzing and Verification Environment
/jucs_7_1/raven_real_time_analyzing

page 89 - 104
Vol.7 / Issue 1

G. Smith, C. Fidge:
Incremental Development of Real-Time Requirements: The Light Control Case Study
/jucs_6_7/incremental_development_of_real

page 704 - 730
Vol.6 / Issue 7

L. J. Steggles:
Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller
/jucs_6_4/specifying_and_verifying_real

page 460 - 473
Vol.6 / Issue 4

I. Tabakow:
Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems
/jucs_13_2/using_place_invariants_and

page 224 - 243
Vol.13 / Issue 2

H. Zhou, K.M. Hou, L. Gineste, C. De Vaulx, J. Ponsonnaille:
A New System Dedicated to Real-time Cardiac Arrhythmias Tele-assistance and Monitoring
/jucs_12_1/a_new_system_dedicated

page 30 - 44
Vol.12 / Issue 1