Sciweavers

1353 search results - page 105 / 271
» Securing Current and Future Process Control Systems
Sort
View
CAISE
2006
Springer
15 years 7 months ago
On Controlled Flexibility
Striking a balance between rigidity and flexibility is a central challenge in designing business processes. Striking this balance begins on the type level, because expressiveness ...
Signe Ellegård Borch, Christian Stefansen
132
Voted
VISUALIZATION
1999
IEEE
15 years 7 months ago
Visualization of Conflicts and Resolutions in a "Free Flight" Scenario
"Free Flight" will change today's air traffic control system by giving pilots increased flexibility to choose and modify their routes in real time, reducing costs a...
Ronald Azuma, Howard Neely, Michael Daily, Mario C...
140
Voted
ACSAC
2010
IEEE
15 years 1 months ago
Porscha: policy oriented secure content handling in Android
The penetration of cellular networks worldwide and emergence of smart phones has led to a revolution in mobile content. Users consume diverse content when, for example, exchanging...
Machigar Ongtang, Kevin R. B. Butler, Patrick Drew...
FAC
2010
107views more  FAC 2010»
15 years 2 months ago
Algebra and logic for access control
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
Matthew Collinson, David J. Pym
122
Voted
AAAI
2004
15 years 4 months ago
Identifying Terrorist Activity with AI Plan Recognition Technology
We describe the application of plan recognition techniques to support human intelligence analysts in processing national security alert sets by automatically identifying the hosti...
Peter Jarvis, Teresa F. Lunt, Karen L. Myers