757 search results - page 55 / 152 » Composing Security-Aware Software |
158
click to vote
DATE
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper describes new algorithms for systemlevel software synthesis, namely the scheduling and allocation of a set of complex tasks running at multiple rates on a heterogeneous...
110
Voted
FORTE
2007
15 years 4 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
116
Voted
IM
2007
15 years 4 months ago
2007
Service-oriented Architecture allows for reusable services to be composed in such a way that business tasks or activities are easily satisfied. However, currently there is a abst...
131
click to vote
CAINE
2001
15 years 4 months ago
2001
: The far-reaching Internet and the relevant technologies on intelligence shed a light of hope for those problems that seek solutions that are suitable for global perspectives, sup...
141
click to vote
FIW
1997
15 years 4 months ago
1997
In this paper, we address the feature interaction problem as a software composition problem. We show the applicability of a new programming style, feature-oriented programming (FO...