Sciweavers

10615 search results - page 1474 / 2123
» Dynamic topic models
Sort
View
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 8 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
PDSE
2000
91views more  PDSE 2000»
15 years 8 months ago
A Formalism for Hierarchical Mobile Agents
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
Ichiro Satoh
WSC
1998
15 years 8 months ago
Simulation Based Construction Management Learning System
Incorporation into construction engineering and management curricula of tasks that improve the abilities of students to manage the complex dynamics, pressures, and demands of cons...
Anil Sawhney, André Mund
WSC
2000
15 years 8 months ago
A simulation test-bed to evaluate multi-agent control of manufacturing systems
Current research in the area of manufacturing planning and control has moved away from traditional centralized solutions towards distributed architectures that range from hierarch...
Robert W. Brennan, William O
WSC
2000
15 years 8 months ago
Simulation of a production plant in the brick industry
The paper deals with a simulation study on a planned production plant in the brick industry. We implemented this plant in TAYLOR II. Although the boundary conditions seemed relati...
Erwin Rybin, Felix Breitenecker
« Prev « First page 1474 / 2123 Last » Next »