Sciweavers

627 search results - page 105 / 126
» Branched Polyhedral Systems
Sort
View
ENTCS
2008
75views more  ENTCS 2008»
13 years 7 months ago
On the Refinement of Atomic Actions
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an atomic action as a family of transitions with a common before-state, and differ...
Richard Banach, Gerhard Schellhorn
CCE
2006
13 years 7 months ago
Measurement and control of polymerization reactors
The measurement and control of polymerization reactors is very challenging due to the complexity of the physical mechanisms and polymerization kinetics. In these reactors many imp...
John R. Richards, John P. Congalidis
CG
2006
Springer
13 years 7 months ago
Constrained diffusion-limited aggregation in 3 dimensions
Diffusion Limited Aggregation (DLA) has usually been studied in 2 dimensions as a model of fractal growth processes such as river networks, plant branching, frost on glass, electr...
Paul D. Bourke
FUIN
2006
103views more  FUIN 2006»
13 years 7 months ago
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zh...
COMSUR
2007
101views more  COMSUR 2007»
13 years 7 months ago
A survey of covert channels and countermeasures in computer network protocols
Covert channels are used for the secret transfer of information. Encryption only protects communication from being decoded by unauthorised parties, whereas covert channels aim to ...
Sebastian Zander, Grenville J. Armitage, Philip Br...