3045 search results - page 124 / 609 » Formal Approaches to Software Architecture |
ICSE
1998
IEEE-ACM
15 years 3 months ago
1998
IEEE-ACM
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...
180
click to vote
DATE
2011
IEEE
14 years 2 months ago
2011
IEEE
In order to meet performance/low energy/integration requirements, parallel architectures (multithreaded cores and multi-cores) are more and more considered in the design of embedd...
ICSOC
2007
Springer
15 years 5 months ago
2007
Springer
Software systems built by composing existing services are more and more capturing the interest of researchers and practitioners. The envisaged long term scenario is that services, ...
DSN
2007
IEEE
15 years 5 months ago
2007
IEEE
Code injection attacks, despite being well researched, continue to be a problem today. Modern architectural solutions such as the NX-bit and PaX have been useful in limiting the a...
126
click to vote
PPOPP
2009
ACM
15 years 11 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...