702 search results - page 119 / 141 » On the role of software architectures in runtime system reco... |
144
click to vote
SDL
2007
15 years 3 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
152
click to vote
SACMAT
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we present a mandatory access control system that uses input from multiple stakeholders to compose policies based on runtime information. In the emerging ubiquitous...
115
click to vote
CASES
2007
ACM
15 years 6 months ago
2007
ACM
In this paper we describe the design and implementation of a flexible, and extensible, just-in-time ARM simulator designed to run co-operatively with a multi-core DSP simulator on...
258
click to vote
SACMAT
2011
ACM
14 years 4 months ago
2011
ACM
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we de�...
134
click to vote
DSN
2009
IEEE
15 years 8 months ago
2009
IEEE
Dynamic Information Flow Tracking (DIFT) is a promising security technique. With hardware support, DIFT prevents a wide range of attacks on vulnerable software with minimal perfor...