14331 search results - page 200 / 2867 » On the modeling and analysis of obligations |
160
click to vote
ACRI
2006
Springer
16 years 15 days ago
2006
Springer
The spread of fire is a complex phenomenon that many have tried to study over the years. As one can imagine, the spread of fire depends on many different variables such as the mate...
150
click to vote
TGC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
158
click to vote
ACSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
The relationships between the work products of a security engineering process can be hard to understand, even for persons with a strong technical background but little knowledge o...
166
click to vote
WSC
2008
15 years 8 months ago
2008
This paper investigates the effects of demand risk on the performance of supply chain in continuous time setting. The inventory level has been modeled as a jump-diffusion process ...
171
click to vote
CPM
2005
Springer
15 years 8 months ago
2005
Springer
We present efficient sensitivity-analysis algorithms for two problems involving Markov models of sequence evolution: ancestral reconstruction in evolutionary trees and local ungap...