860 search results - page 145 / 172 » A Process Algebra Based Verification of a Production System |
SKG
2006
IEEE
14 years 1 months ago
2006
IEEE
Under the background of the requirement of high availability and high performance on the basis of the large-scale distributing type application in agriculture, makes more research...
OTM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper discusses the approach of ontology-based knowledge engineering in FF POIROT, a project to explore the use of ontology technology in information systems against...
VLDB
1997
ACM
13 years 12 months ago
1997
ACM
Huge masses of digital data about products, customers and competitors have become available for companies in the services sector. In order to exploit its inherent (and often hidde...
ACII
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The largest part of the advertising market is already electronic. This means there is an opportunity for automatizing some of the production processes, such as producing ...
WSC
2008
13 years 10 months ago
2008
The aim of this paper is to investigate how different smoothing parameter levels of the Automatic Pipeline Inventory and Order Based Production Control System smoothing replenishm...