832 search results - page 14 / 167 » Declarative Specification of Software Architectures |
123
click to vote
EMSOFT
2010
Springer
14 years 12 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
128
click to vote
ICSE
2011
IEEE-ACM
14 years 5 months ago
2011
IEEE-ACM
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
114
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
121
click to vote
SCM
2001
15 years 3 months ago
2001
This paper examines the relations between software architecture and software configuration management. These disciplines overlap because they are both concerned with the structure ...
147
click to vote
ESORICS
1992
Springer
15 years 6 months ago
1992
Springer
After a brief survey of the problems related to audit trail analysis and of some approaches to deal with them, the paper outlines the project ASAX which aims at providing an advanc...