1278 search results - page 107 / 256 » The representation of policies as system objects |
SIGSOFT
2003
ACM
14 years 3 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
DGO
2007
13 years 11 months ago
2007
Government agencies globally are facing problems such as illegal immigration, terrorism, and disease diagnosis and control. Solutions to these problems rely heavily on collaborati...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
This paper describes Aerogility - an intelligent decision support system for managing service-based aftermarkets. Aerogility uses multi-agent software technology to implement a dy...
NCA
2007
IEEE
14 years 4 months ago
2007
IEEE
Increasing traffic and the necessity of stateful analyses impose strong computational requirements on network intrusion detection systems (NIDS), and motivate the need of distrib...
CVPR
2009
IEEE
15 years 5 months ago
2009
IEEE
We propose a scheme for indoor place identi cation based on the recognition of global scene
views. Scene views are encoded using a holistic representation that provides low-resolu...