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

634 items matching your criteria

Sort by:
Filter By:
Subject: Topic D - Software
Clear All
Copy link
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
Left Arrow
46 47 48 49 50
Right Arrow
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Research Article
Modelling Agents as Observable Sources
Mirko Viroli, Andrea Omicini
10.3217/jucs-008-04-0423
 28-04-2002
 Unique: 389 | Total: 473  | Access Period:
 423-452
HTML
XML
PDF
Research Article
On Second Generation Distributed Component Systems
Klaus Schmaranz
10.3217/jucs-008-01-0097
 28-01-2002
 Unique: 441 | Total: 507  | Access Period:
 97-116
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: 457 | Total: 545  | Access Period:
 2-74
HTML
XML
PDF
Research Article
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol
Charles Wallace, Guy Tremblay, Jose Amaral
10.3217/jucs-007-11-1088
 28-11-2001
 Unique: 404 | Total: 453  | Access Period:
 1088-1112
HTML
XML
PDF
Research Article
Compiling Abstract State Machines to C++
Joachim Schmid
10.3217/jucs-007-11-1068
 28-11-2001
 Unique: 365 | Total: 429  | Access Period:
 1068-1087
HTML
XML
PDF
Research Article
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence
Angelo Gargantini, Elvinia Riccobene
10.3217/jucs-007-11-1050
 28-11-2001
 Unique: 409 | Total: 480  | Access Period:
 1050-1067
HTML
XML
PDF
Research Article
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models
Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin Löwis, Andreas Prinz
10.3217/jucs-007-11-1024
 28-11-2001
 Unique: 397 | Total: 466  | Access Period:
 1024-1049
HTML
XML
PDF
Research Article
A Neural Abstract Machine
Egon Börger, Diego Sona
10.3217/jucs-007-11-1006
 28-11-2001
 Unique: 400 | Total: 518  | Access Period:
 1006-1023
HTML
XML
PDF
Research Article
A Logic for Abstract State Machines
Robert Stärk, Stanislas Nanchen
10.3217/jucs-007-11-0980
 28-11-2001
 Unique: 388 | Total: 473  | Access Period:
 980-1005
HTML
XML
PDF
Research Article
Verification of ASM Refinements Using Generalized Forward Simulation
Gerhard Schellhorn
10.3217/jucs-007-11-0952
 28-11-2001
 Unique: 410 | Total: 458  | Access Period:
 952-979
HTML
XML
PDF
Research Article
Partial Updates: Exploration
Yuri Gurevich, Nikolai Tillmann
10.3217/jucs-007-11-0917
 28-11-2001
 Unique: 395 | Total: 458  | Access Period:
 917-951
HTML
XML
PDF
Research Article
"Bagatelle in C arranged for VDM SoLo"
José Oliveira
10.3217/jucs-007-08-0754
 28-08-2001
 Unique: 390 | Total: 457  | Access Period:
 754-781
HTML
XML
PDF
Left Arrow
46 47 48 49 50
Right Arrow

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

OK