2797 search results - page 210 / 560 » Control Structures |
129
click to vote
ETFA
2008
IEEE
15 years 9 months ago
2008
IEEE
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...
119
click to vote
EUROGP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Monitoring of sensitive events is a key step for controlling the behavior of software. Specifying a sufficient set of constraints prior to software deployment is necessary for det...
119
click to vote
AE
2003
Springer
15 years 8 months ago
2003
Springer
We present quantitative models for the selection pressure on cellular evolutionary algorithms structured as a ring of cells. We obtain results for synchronous and asynchronous cell...
120
click to vote
FLAIRS
2001
15 years 4 months ago
2001
The paper presents an approach to hierarchical clustering based on the use of a least general generalization (lgg) operator to induce a lattice structure of clusters and a categor...