860 search results - page 154 / 172 » A Process Algebra Based Verification of a Production System |
WADT
1999
Springer
13 years 12 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
CAD
2000
Springer
13 years 7 months ago
2000
Springer
As we enter the new millennium, the approach to product development is evolving rapidly. Companies are in the process of creating a distributed design and manufacturing environmen...
IFIP
2007
Springer
14 years 1 months ago
2007
Springer
The operation of global manufacturing network is challenging due to the complexity in product and information flow, diversity in sites, localization and processes and the informati...
25
Voted
KDD
1998
ACM
13 years 12 months ago
1998
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...
OR
2006
Springer
13 years 7 months ago
2006
Springer
Given that contractor plays a critical role in any construction project, contractor selection constitutes key decision for public authorities. Prequalification, i.e. the eliminati...