8644 search results - page 194 / 1729 » On the Composition of Secure Systems |
166
click to vote
FTDCS
2003
IEEE
15 years 12 months ago
2003
IEEE
With the increasing prevalence of mobile devices, computing is being carried out on devices with varied resource constraints and is afflicted by constant changes in run-time conte...
191
click to vote
CBSE
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
158
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we concern a swing-up control problem for an n-link revolute planar robot with any one of the joint being a passive joint. The goal of this study is to design and an...
166
click to vote
VL
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a tool for component system design in the UML. The tool supports an internal process model for graphical specifications. The model is used to guarantee consistency of ...
161
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...