10 search results - page 2 / 2 » Policy and product-directed process instantiation |
98
Voted
ICML
2006
IEEE
15 years 10 months ago
2006
IEEE
Recent decision-theoric planning algorithms are able to find optimal solutions in large problems, using Factored Markov Decision Processes (fmdps). However, these algorithms need ...
114
Voted
FORTE
2011
14 years 28 days ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
CRISIS
2008
14 years 11 months ago
2008
To address the evolution of security incidents in current communication networks it is important to react quickly and efficiently to an attack. The RED (Reaction after Detection) ...
91
Voted
FOAL
2007
ACM
15 years 1 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
ISPW
1991
IEEE
15 years 29 days ago
1991
IEEE
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...