Sciweavers

9989 search results - page 421 / 1998
» A CLP Approach to Modelling Systems
Sort
View
DAC
2002
ACM
16 years 7 months ago
Model composition for scheduling analysis in platform design
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf E...
CSMR
2006
IEEE
16 years 27 days ago
Migrating Supervisory Control Architectures Using Model Transformations
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
Bas Graaf, Sven Weber, Arie van Deursen
WSC
2008
15 years 9 months ago
An analytical model for conveyor based AMHS in semiconductor wafer fabs
This paper proposes an analytical model useful in the design of conveyor-based Automated Material Handling Systems (AMHS) to support semiconductor manufacturing. The objective is ...
Dima Nazzal, Andrew Johnson, Hector J. Carlo, Jesu...
IJON
2006
83views more  IJON 2006»
15 years 6 months ago
Modelling the interaction of attention and emotion
We review a recently developed engineering control approach to attention. The control system is extended to include biasing by emotional valence, with qualitative analysis given of...
Nickolaos F. Fragopanagos, John G. Taylor
IASTEDSEA
2004
15 years 8 months ago
Modeling and analyzing security protocols in SAM: A case study
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao