Category:LNCS 1030

From BibNetWiki

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