Sciweavers

1028 search results - page 50 / 206
» Simulation in the future
Sort
View
KR
1991
Springer
15 years 1 months ago
Meta-Reasoning in Executable Temporal Logic
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
Howard Barringer, Michael Fisher, Dov M. Gabbay, A...
CSSE
2008
IEEE
15 years 4 months ago
A Markov Game Theory-Based Risk Assessment Model for Network Information System
—Risk assessment is a very important tool to acquire a present and future security status of the network information system. Many risk assessment approaches consider the present ...
Cui Xiaolin, Xiaobin Tan, Zhang Yong, Hongsheng Xi
DEXA
2003
Springer
106views Database» more  DEXA 2003»
15 years 3 months ago
Location Query Based on Moving Behaviors
The importance of location prediction is rapidly increasing with the current trend of database applications in mobile computing environment. However, current personal communicatio...
Ming-Hui Jin, Eric Hsiao-Kuang Wu, Jorng-Tzong Hor...
PADS
1999
ACM
15 years 2 months ago
Active Virtual Network Management Protocol
This paper introduces a novel algorithm, the Active Virtual Network Management Protocol AVNMP, for predictive network management. It explains how the Active Virtual Network Mana...
Stephen F. Bush
WSC
2004
14 years 11 months ago
Tutorial on Portfolio Credit Risk Management
The distribution of possible future losses for a portfolio of credit risky corporate assets, such as bonds or loans, shows strongly asymmetric behavior and a fat tail as the conse...
William J. Morokoff