10038 search results - page 401 / 2008 » Model Checking for Managers |
175
click to vote
IFIP12
2009
15 years 4 months ago
2009
Abstract In the scientific literature, it is generally assumed that models can be completely established before the diagnosis analysis. However, in the actual maintenance problems,...
168
click to vote
PADS
1999
ACM
15 years 11 months ago
1999
ACM
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...
233
click to vote
NLUCS
2004
15 years 8 months ago
2004
Abstract. Cognitive Dialogue Management is a novel approach to Dialogue Management which proposes a novel architecture for building up advanced interactive interfaces in natural la...
163
click to vote
AUSFORENSICS
2003
15 years 8 months ago
2003
This paper reports from an ongoing field study of police practice in Sweden. The field study consists of direct observations and conversational interviews. The paper discusses cur...
174
click to vote
WSC
1997
15 years 8 months ago
1997
Air Traffic Management Systems (ATMS) of the future will feature Free Flight, in which aircraft choose their own routes, altitude, and speed, and automated conflict resolution me...