3199 search results - page 85 / 640 » Variability in Automation System Models |
127
click to vote
WSC
2008
15 years 4 months ago
2008
This research examines the performance of CONWIP versus "push" workload control in a simple, balanced manufacturing flowline. Analytical models and simulation experiment...
111
click to vote
VMCAI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
133
click to vote
WOA
2001
15 years 3 months ago
2001
Negotiation is a fundamental mechanism in distributed multi-agent systems. Since negotiation is a time-spending process, in many scenarios agents have to take into account the pas...
120
Voted
TCAD
2008
15 years 2 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
119
click to vote
STTT
2008
15 years 2 months ago
2008
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...