Sciweavers

1424 search results - page 52 / 285
» Modeling A Control System For Organizational Processes
Sort
View
WSC
2004
13 years 10 months ago
Design Specifications of a Generic Supply Chain Simulator
This paper describes a design specification for a generic, supply-chain-simulation system. The proposed simulation system is based on schedule-driven and stock-driven control meth...
Shigeki Umeda, Y. Tina Lee
FM
2008
Springer
184views Formal Methods» more  FM 2008»
13 years 10 months ago
Safe and Reliable Metro Platform Screen Doors Control/Command Systems
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
Thierry Lecomte
ENTCS
2006
146views more  ENTCS 2006»
13 years 8 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
AIM
2006
13 years 10 months ago
Cooperation and coordination in virtual enterprises: The role of e-collaboration tools
: Virtual Enterprises are an emerging model for the organization of innovative enterprises. They are characterized by brief relationships and geographical dispersion of members. E-...
Piero Migliarese, Vincenzo Corvello
MM
1993
ACM
113views Multimedia» more  MM 1993»
14 years 24 days ago
The Vidboard: A Video Capture and Processing Peripheral for a Distributed Multimedia System
This paper describes a stand-alone network-based video capture and processing peripheral (the Vidboard) for a distributed multimedia system centered around a gigabit-per-second As...
Joel F. Adam, David L. Tennenhouse