Sciweavers

1336 search results - page 117 / 268
» Modelling and Analysis of PKI-Based Systems Using Process Ca...
Sort
View
125
Voted
BTW
2007
Springer
119views Database» more  BTW 2007»
15 years 9 months ago
Change Management in Large Information Infrastructures - Representing and Analyzing Arbitrary Metadata
Abstract: With information infrastructures getting more and more complex, it becomes necessary to give automated support for managing the evolution of the infrastructure. If change...
Boris Stumm, Stefan Dessloch
159
Voted
EDOC
2006
IEEE
15 years 7 months ago
Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows
Abstract-- Analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger ...
Rainer Hauser, Michael Friess, Jochen Malte Kü...
AIPS
2004
15 years 5 months ago
Optimal Resource Allocation and Policy Formulation in Loosely-Coupled Markov Decision Processes
The problem of optimal policy formulation for teams of resource-limited agents in stochastic environments is composed of two strongly-coupled subproblems: a resource allocation pr...
Dmitri A. Dolgov, Edmund H. Durfee
112
Voted
DMIN
2006
123views Data Mining» more  DMIN 2006»
15 years 5 months ago
Application of data warehouse technology in power analysis
: Data warehouse technology transforms the operational data store to general and compositive information. It also provides effective way for analysis and statistic to the mass data...
Xiaoguang Hong, Juan Chu
119
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
Elaborating Security Requirements by Construction of Intentional Anti-Models
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
Axel van Lamsweerde