Sciweavers

3914 search results - page 246 / 783
» Automating SLA modeling
Sort
View
ISSADS
2005
Springer
14 years 1 months ago
Model Fragmentation for Distributed Workflow Execution: A Petri Net Approach
Workflow is the key technology for business process automation, while distributed workflow is the solution to deal with the decentralized nature of workflow applications and the pe...
Wei Tan, Yushun Fan
KBSE
2003
IEEE
14 years 1 months ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
Peter Bunus, Peter Fritzson
ICRA
2000
IEEE
124views Robotics» more  ICRA 2000»
14 years 19 days ago
The Augmented Object Model: Cooperative Manipulation and Parallel Mechanism Dynamics
in Proceedings of the 2000 IEEE International Conference on Robotics and Automation, San Francisco, April 2000 The augmented object model provided the basis for effective coopera...
Kyong-Sok Chang, Robert Holmberg, Oussama Khatib
APSEC
2004
IEEE
13 years 12 months ago
The Design of Evolutionary Process Modeling Languages
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
Darren C. Atkinson, Daniel C. Weeks, John Noll
WSC
2008
13 years 10 months ago
A simplified modeling approach for human system interaction
Despite increasing dependency on technology, the importance of humans is expected to increase and to provide a realistic basis for decision support; both technical and organizatio...
Torbjorn P. E. Ilar