3045 search results - page 294 / 609 » Formal Approaches to Software Architecture |
164
Voted
ISSTA
2006
ACM
16 years 20 days ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
219
click to vote
INFSOF
2011
15 years 1 months ago
2011
Context: Service Oriented Architectures (SOA) have emerged as a new paradigm to develop interoperable and highly dynamic applications. Objective: This paper aims to identify the s...
165
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Binary attestation, as proposed by the Trusted Computing Group (TCG), is a pragmatic approach for software integrity protection and verification. However, it has also various sho...
186
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Micro-Electro-Mechanical Systems (MEMS) combine lithographically formed mechanical structures with electrical elements to create physical systems that operate on the scale of micr...
190
Voted
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
The C programming language is at least as well known for its absence of spatial memory safety guarantees (i.e., lack of bounds checking) as it is for its high performance. C'...