Category:LNCS 1030
From BibNetWiki
Jump to:
navigation
,
search
Lecture Notes in Computer Science, Volume 1030
Articles in category "LNCS 1030"
There are 43 articles in this category.
A
A Formal Semantics for a Graphical Model Representation in System Design
A Language for Describing Complex-Evolutive Software Systems
A Logical Approach to System Construction
A Semantic Logic for CAST Related to Zuse, Deutsch and McCulloch and Pitts Computing Principles
A System-Theoretic Approach to Planning and Programming
A User-Interface for a Microsystems High-Level Simulator
An Architecture for Process Modeling and Execution Support
Automatic Induction of DEVS Structures
B
Basins of Attraction Estimation Through Symbolic Graphical Computing Techniques
C
CAST Extensions to DASME to Support Generalized Information Theory
Cast Methods for Generation of Non-Orthogonal Complete Transforms
Cast System Approach for Visual Inspection
Computer Aided Rule Extraction from Examples
Computer aided systems theory - EUROCAST '95: a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995: proceedings
D
DEVS-Based Endomorphic Agents: Control Through Deliberative and Reactive Planning
Discrete Event Simulation in an Environment for Temporal Expert Systems
E
EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time Systems
Equality of Functions in CAST
F
Finite Dimensional Generalized Baker Dynamical Systems for Cryptographic Applications
H
High-Performance Parallel Computing for Analyzing Urban Air Pollution
Hybrid Evolutionary Programming: the Tools for CAST
I
Identification and Recognition through Shape in Complex Systems
Intersensorial Transformations: General Systems Description and Implications
Introduction of the Aristotle's Final Causation in CAST: Concept and Method of Incursion and Hyperincursion
M
Modelling Differential Equations by Basic Information Technology Means
Multifacetted, Object Oriented Modeling in the Transportation Domain
O
Object-Oriented High Level Modeling of Complex Systems
On the Structure of Discrete Systems
P
Performance Analysis of a Dual Robot System Using a Geometric Concurrency Model
P cont.
Proving System Properties by Means of Trigger-Graph and Petri Nets
R
Refinement Mapping for General (Discrete Event) Systems Theory
S
Software Processes, Work Flow and Work Cell Design - Separated by a Common Paradigm?
Supervisory Control and Data Acquisition System for the Gas Flow Networks
Symbolic Computing Aided Design of Nonlinear PID Controllers
System Theoretic Aspects of Software Architectures
Systems Engineering and Infrastructures for Open Computer Based Systems
Systems Level Specification and Modelling of Reactive Systems: Concepts, Methods, and Tools
T
TOMSPIN - A Tool for Modeling with Stochastic Petri Nets
Task Management System
Temporal and Functional Verification of a Symbolic Representation of Complex Systems
Toward a unified theory of discrete event systems
Training Simulator for Garona Nuclear Power Plant
V
Validation of a Model of an AGVs Scheduling Heuristic Using Radio-Taxi Data
Category
:
LNCS
Views
Category
Discussion
Edit
History
Personal tools
Log in / create account
Navigation
Main Page
Community portal
Current events
Recent changes
Random page
Help
Donations
Search
Toolbox
What links here
Related changes
Upload file
Special pages
Printable version
Permanent link
related