Sciweavers

934 search results - page 22 / 187
» Supporting Cross-Organizational Process Control
Sort
View
AEI
2005
102views more  AEI 2005»
13 years 9 months ago
Manufacturing planning and predictive process model integration using software agents
Intelligent agents provide a means to integrate various manufacturing software applications. The agents are typically executed in a computer-based collaborative environment, refer...
Shaw C. Feng, Keith A. Stouffer, Kevin K. Jurrens
COMPSAC
2002
IEEE
14 years 2 months ago
Renaissance: A Method to Support Software System Evolution
Legacy systems are often business critical and are associated with high maintenance costs. In this paper, we present an overview of a method, Renaissance, which aims to manage the...
Ian Warren, Jane Ransom
EAI
2004
13 years 11 months ago
Quality-Oriented Handling of Exceptions in Web-Service-Based Cooperative Processes
Abstract: Web services are increasingly used to integrate heterogeneous and autonomous applications in cross-organizational cooperations. A key problem is to support a high executi...
Ulrike Greiner, Erhard Rahm
IPPS
1993
IEEE
14 years 1 months ago
Supporting Insertions and Deletions in Striped Parallel Filesystems
The dramatic improvements in the processing rates of parallel computers are turning many compute-bound jobs into IO-bound jobs. Parallel le systems have been proposed to better ma...
Theodore Johnson
FM
1998
Springer
153views Formal Methods» more  FM 1998»
14 years 2 months ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...