17 search results - page 1 / 4 » compsac 2010 |
COMPSAC
2010
IEEE
14 years 7 months ago
2010
IEEE
COMPSAC
2010
IEEE
14 years 10 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...
112
click to vote
COMPSAC
2010
IEEE
14 years 10 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
14 years 10 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...
109
click to vote
COMPSAC
2010
IEEE
14 years 10 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...