860 search results - page 145 / 172 » A Process Algebra Based Verification of a Production System |
111
Voted
SKG
2006
IEEE
15 years 9 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...
146
Voted
OTM
2004
Springer
15 years 9 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...
131
Voted
VLDB
1997
ACM
15 years 7 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...
126
Voted
ACII
2007
Springer
15 years 7 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 ...
134
click to vote
WSC
2008
15 years 5 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...