1278 search results - page 107 / 256 » The representation of policies as system objects |
177
Voted
SIGSOFT
2003
ACM
16 years 6 days 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...
200
Voted
DGO
2007
15 years 8 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...
248
Voted
ATAL
2009
Springer
16 years 1 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...
234
Voted
NCA
2007
IEEE
16 years 1 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...
214
Voted
CVPR
2009
IEEE
17 years 2 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...