Filter

Search
by Subject
  • Topic A - General Literature
  • Topic B - Hardware
  • Topic C - Computer Systems Organization
  • Topic D - Software
  • Topic E - Data
  • Topic F - Theory of Computation
  • Topic G - Mathematics of Computing
  • Topic H - Information Systems
  • Topic I - Computing Methodologies
  • Topic J - Computer Applications
  • Topic K - Computing Milieux
  • Topic L - Science and Technology of Learning
  • Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
by Funding Agency
Clear filters
Powered by

96 items matching your criteria

Sort by:
Filter By:
Subject: I.6 - SIMULATION AND MODELING
Clear All
Copy link
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
Left Arrow
6 7 8
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Research Article
Game-Based Learning in Universities and Lifelong Learning: "UniGame: Social Skills and Knowledge Training" Game Concept
Maja Pivec, Olga Dziabenko
10.3217/jucs-010-01-0014
 28-01-2004
 Unique: 513 | Total: 648  | Access Period:
 14-26
HTML
XML
PDF
Research Article
Automatically Generated CSP Specifications
Frantisek Scuglik, Miroslav Sveda
10.3217/jucs-009-11-1277
 28-11-2003
 Unique: 318 | Total: 364  | Access Period:
 1277-1295
HTML
XML
PDF
Research Article
Implementation of an Embedded Hardware Description Language Using Haskell
Nélio Muniz Mendes Alves, Sérgio Schneider
10.3217/jucs-009-08-0795
 28-08-2003
 Unique: 328 | Total: 379  | Access Period:
 795-812
HTML
XML
PDF
Research Article
VOC: A Methodology for the Translation Validation of OptimizingCompilers
Lenore Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg
10.3217/jucs-009-03-0223
 28-03-2003
 Unique: 407 | Total: 483  | Access Period:
 223-247
HTML
XML
PDF
Research Article
Optimized Temporal Logic Compilation
Andreas Krebs, Jürgen Ruf
10.3217/jucs-009-02-0120
 28-02-2003
 Unique: 371 | Total: 473  | Access Period:
 120-137
HTML
XML
PDF
Research Article
Checking Object System Designs Incrementally
Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger
10.3217/jucs-009-02-0106
 28-02-2003
 Unique: 359 | Total: 426  | Access Period:
 106-119
HTML
XML
PDF
Research Article
The Origins and the Development of the ASM Method for High Level System Design and Analysis
Egon Börger
10.3217/jucs-008-01-0002
 28-01-2002
 Unique: 425 | Total: 506  | Access Period:
 2-74
HTML
XML
PDF
Research Article
RAVEN: Real-Time Analyzing and Verification Environment
Jürgen Ruf
10.3217/jucs-007-01-0089
 28-01-2001
 Unique: 360 | Total: 438  | Access Period:
 89-104
HTML
XML
PDF
Research Article
An Open Software Architecture for the Verification of Industrial Controllers
Heinz Treseler, Olaf Stursberg, Paul W. H. Chung, Shuanghua Yang
10.3217/jucs-007-01-0037
 28-01-2001
 Unique: 387 | Total: 460  | Access Period:
 37-53
HTML
XML
PDF
Research Article
An Efficient Planning Algorithm for Multi-Head Surface Mounting Machines Using a Genetic Algorithm
Wonsik Lee, Sunghan Lee, Beom Lee, Young Lee
10.3217/jucs-005-12-0833
 28-12-1999
 Unique: 355 | Total: 406  | Access Period:
 833-854
HTML
XML
PDF
Research Article
Free Space Modeling for Placing Rectangles without Overlapping
Marc Bernard, François Jacquenet
10.3217/jucs-003-06-0703
 28-06-1997
 Unique: 357 | Total: 420  | Access Period:
 703-720
HTML
XML
PDF
Research Article
Curve Fitting and Interpolation of Biological Data Under Uncertainties
Svetoslav Markov, Y. Akyildiz
10.3217/jucs-002-02-0058
 28-02-1996
 Unique: 412 | Total: 489  | Access Period:
 59-69
HTML
XML
PDF
Left Arrow
6 7 8

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK