Sciweavers

1082 search results - page 148 / 217
» tools 2000
Sort
View
HICSS
2000
IEEE
131views Biometrics» more  HICSS 2000»
14 years 2 months ago
Workflow-based Process Monitoring and Controlling - Technical and Organizational Issues
Workflow management systems enable the exact and timely analysis of automated business processes through the analysis of the logged audit trail data. Within the research project C...
Michael zur Muehlen, Michael Rosemann
ISSTA
2000
ACM
14 years 2 months ago
UML-Based integration testing
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
Jean Hartmann, Claudio Imoberdorf, Michael Meising...
MOVEP
2000
136views Hardware» more  MOVEP 2000»
14 years 1 months ago
UPPAAL - Now, Next, and Future
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Ped...
CONCURRENCY
2002
152views more  CONCURRENCY 2002»
13 years 9 months ago
The Legion Grid Portal
-- The Legion Grid Portal is an interface to a grid system. Users interact with the portal, and hence a grid through an intuitive interface from which they can view files, submit a...
Anand Natrajan, Anh Nguyen-Tuong, Marty Humphrey, ...
ISMIS
2000
Springer
14 years 1 months ago
An Intelligent Lessons Learned Process
A learned lesson, in the context of a pre-defined organizational process, summarizes an experience that should be used to modify that process, under the conditions for which that l...
Rosina Weber, David W. Aha, Héctor Mu&ntild...