757 search results - page 73 / 152 » Composing Security-Aware Software |
165
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
168
click to vote
COORDINATION
2009
Springer
16 years 6 months ago
2009
Springer
Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A process-oriented design is typically ...
171
Voted
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Abstract. In software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the...
165
Voted
COMPSAC
2009
IEEE
16 years 26 days ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
151
Voted
DEXAW
2009
IEEE
16 years 26 days ago
2009
IEEE
— The use of design patterns usually changes the approach of software design and makes software development relatively easy. This paper extends work on a forensic model for Logic...