Sciweavers

934 search results - page 22 / 187
» Supporting Cross-Organizational Process Control
Sort
View
115
Voted
AEI
2005
102views more  AEI 2005»
15 years 1 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
110
Voted
COMPSAC
2002
IEEE
15 years 6 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 3 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 6 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 6 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...