Sciweavers

851 search results - page 104 / 171
» Managing (Requirements) Evolutions of High Assurance Systems
Sort
View
DOLAP
2000
ACM
15 years 10 months ago
Towards OLAP Security Design - Survey and Research Issues
With the use of data warehousing and online analytical processing (OLAP) for decision support applications new security issues arise. The goal of this paper is to introduce an OLA...
Torsten Priebe, Günther Pernul
MICRO
2009
IEEE
129views Hardware» more  MICRO 2009»
16 years 25 days ago
Execution leases: a hardware-supported mechanism for enforcing strong non-interference
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Frederi...
ICAC
2009
IEEE
16 years 28 days ago
Self-correlating predictive information tracking for large-scale production systems
Automatic management of large-scale production systems requires a continuous monitoring service to keep track of the states of the managed system. However, it is challenging to ac...
Ying Zhao, Yongmin Tan, Zhenhuan Gong, Xiaohui Gu,...
SAC
2004
ACM
15 years 11 months ago
A Ubiquitous Computing environment for aircraft maintenance
Ubiquitous Computing bears a high potential in the area of aircraft maintenance. Extensive requirements regarding quality, safety, and documentation as well as high costs for havi...
Matthias Lampe, Martin Strassner, Elgar Fleisch
ETFA
2006
IEEE
16 years 7 days ago
Towards Plug and Play in Home and Building Automation Networks
High configuration cost hampers the adoption of powerful home automation solutions. Automating the necessary configuration steps will alleviate this problem. The article define...
Georg Neugschwandtner