860 search results - page 149 / 172 » A Process Algebra Based Verification of a Production System |
113
Voted
ICDM
2003
IEEE
15 years 8 months ago
2003
IEEE
Analyzing data to find trends, correlations, and stable patterns is an important problem for many industrial applications. In this paper, we propose a new technique based on paral...
163
Voted
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
Our energy production increasingly depends on renewable energy sources, which impose new challenges for distributed and decentralized systems. One problem is that the availability...
125
Voted
ER
1997
Springer
15 years 7 months ago
1997
Springer
Turbulence is in the nature of business environments. Changes brought about because of different requirements such as social, political, technical and economic, exert pressures on ...
131
Voted
IDT
2008
15 years 3 months ago
2008
: Many defense, homeland security, and commercial security objectives require continuous tracking of mobile entities such as aircraft. The systems that perform these functions prod...
140
Voted
ICAISC
2004
Springer
15 years 9 months ago
2004
Springer
Nonlinear state estimation is a useful approach to the monitoring of industrial (polymerization) processes. This paper investigates how this approach can be followed to the develop...