Sciweavers

934 search results - page 22 / 187
» Supporting Cross-Organizational Process Control
Sort
View
AEI
2005
102views more  AEI 2005»
15 years 5 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
15 years 11 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
15 years 7 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
15 years 10 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»
15 years 10 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...