14331 search results - page 162 / 2867 » On the modeling and analysis of obligations |
183
click to vote
CMMR
2005
Springer
15 years 8 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...
171
click to vote
BPSC
2010
15 years 4 months ago
2010
: This paper proposes a framework for the detection of information leaks in workflow descriptions based on static information flow analysis. Despite the correct deployment of acces...
165
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
In the past, some researches suggested that engineers can use combined software reliability growth models (SRGMs) to obtain more accurate reliability prediction during testing. In...
190
click to vote
WSC
2004
15 years 7 months ago
2004
The consistent growth of air traffic demand is causing the operational volumes at hub airports to approach their maximum capacities. With this growth, delays are increasing, and s...
132
click to vote
WSC
2000
15 years 7 months ago
2000
This paper describes a recently completed project involving the development of simulation models for the new international terminal at Istanbul Ataturk Airport, Istanbul, Turkey. ...