860 search results - page 105 / 172 » A Process Algebra Based Verification of a Production System |
EMSOFT
2003
Springer
14 years 2 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
WSC
1998
13 years 10 months ago
1998
This paper proposes an integration test-bed system for supply chain management, which forms the foundation for the construction of a valued manufacturing chain. The core system of...
DMS
2010
13 years 7 months ago
2010
: Slow Intelligence Systems are general-purpose systems characterized by being able to improve performance over time through a process involving enumeration, propagation, adaptatio...
MTSR
2007
Springer
14 years 3 months ago
2007
Springer
agroXML is a standardized language for data exchange in agriculture. It is based on the eXtensible Markup Language (XML) using XML Schema as its definition language. agroXML is us...
KDD
2009
ACM
14 years 9 months ago
2009
ACM
Opinion mining became an important topic of study in recent years due to its wide range of applications. There are also many companies offering opinion mining services. One proble...