5015 search results - page 218 / 1003 » Model Checking a Path |
174
click to vote
CMOT
2000
15 years 6 months ago
2000
A variety of different multi-agent (competitive) network models have been described in the literature. Computational techniques for solving such models often involve the iterative...
190
click to vote
AIPS
2010
15 years 7 months ago
2010
Efficient management and propagation of temporal constraints is important for temporal planning as well as for scheduling. During plan development, new events and temporal constra...
156
click to vote
HICSS
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
213
click to vote
VTC
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract—This paper provides new statistical models for air-toground channels in an urban environment. The model is derived to operate at frequencies from 200MHz to 5GHz. Issues ...
197
click to vote
LPNMR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and checkâ...