Sciweavers

379 search results - page 26 / 76
» Addressing Dynamism in E-Negotiations by Workflow Management...
Sort
View
SAFECOMP
2009
Springer
15 years 4 months ago
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...
Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Cal...
MOBIS
2008
14 years 11 months ago
Towards Simulation-supported Enterprise Architecture Management
Abstract: Enterprise architecture management is based on a holistic view on the enterprise addressing business and IT aspects in an integrated manner. EA management is a process to...
Sabine Buckl, Florian Matthes, Wolfgang Renz, Chri...
HOTDEP
2008
122views Hardware» more  HOTDEP 2008»
15 years 6 hour ago
Dependable Self-Hosting Distributed Systems Using Constraints
We describe a technique for writing distributed applications which manage themselves over one or more utility computing infrastructures: by dynamically acquiring new computational...
Qin Yin, Justin Cappos, Andrew Baumann, Timothy Ro...
FASE
2008
Springer
14 years 11 months ago
Automated Analysis of Permission-Based Security Using UMLsec
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
Jan Jürjens, Jörg Schreck, Yijun Yu
DANTE
1999
IEEE
107views Database» more  DANTE 1999»
15 years 2 months ago
Analysis of Virtual Workspaces
While traditional workflow management systems have proven useful in supporting well-defined organizational processes, they are less suitable for the support of less welldefined, e...
Robert P. Biuk-Aghai, Igor Hawryszkiewycz