17 search results - page 1 / 4 » compsac 2010 |
COMPSAC
2010
IEEE
12 years 11 months ago
2010
IEEE
COMPSAC
2010
IEEE
13 years 2 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
COMPSAC
2010
IEEE
13 years 2 months ago
2010
IEEE
In this paper we propose a meta-model for architectures with heterogeneous multimedia components. Currently, a generic solution does not exist to automatically deploy a distributed...
COMPSAC
2010
IEEE
13 years 2 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
COMPSAC
2010
IEEE
13 years 2 months ago
2010
IEEE
In the long-term evolution of a Software Product Line (SPL), how to ensure the alignment between the reference and application architectures is a critical problem. Existing ad-hoc...