Sciweavers

846 search results - page 130 / 170
» The Use of Z
Sort
View
DIAGRAMS
2006
Springer
14 years 22 days ago
Flow Diagrams: Rise and Fall of the First Software Engineering Notation
Drawings of water are the earliest, least abstract forms of flow diagram. Representations of ideal or generalised sequences for manufacturing or actual paths for materials between ...
Stephen J. Morris, O. C. Z. Gotel
ESA
2006
Springer
77views Algorithms» more  ESA 2006»
14 years 22 days ago
Traversing the Machining Graph
Abstract. Zigzag pocket machining (or 2D-milling) plays an important role in the manufacturing industry. The objective is to minimize the number of tool retractions in the zigzag m...
Danny Z. Chen, Rudolf Fleischer, Jian Li, Haitao W...
FASE
2000
Springer
14 years 20 days ago
Parallel Refinement Mechanisms for Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
Paul Z. Kolano, Richard A. Kemmerer, Dino Mandriol...
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
14 years 19 days ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
SC
1995
ACM
14 years 18 days ago
A Parallel Incompressible Flow Solver Package with a Parallel Multigrid Elliptic Kernel
A parallel time-dependent incompressible flow solver and a parallel multigrid elliptic kernel are described. The flow solver is based on a second-order projection method applied...
John Z. Lou, Robert D. Ferraro