8623 search results - page 232 / 1725 » Software engineering for secure systems |
137
click to vote
ASWEC
2008
IEEE
15 years 12 months ago
2008
IEEE
A software component graph, where a node represents a component and an edge represents a use-relation between components, is widely used for analysis methods of software engineeri...
149
click to vote
ENTCS
2008
15 years 5 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
152
click to vote
CHI
2008
ACM
16 years 5 months ago
2008
ACM
With the proliferation of computer security threats on the Internet, especially threats such as worms that automatically exploit software flaws, it is becoming more and more impor...
172
click to vote
ACSAC
2007
IEEE
15 years 12 months ago
2007
IEEE
The growth of the applications and services market for mobile devices is currently slowed down by the lack of a flexible and reliable security infrastructure. The development and...
163
Voted
IWSAS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Model-Integrated Computing is a proven technology for designing and implementing complex software systems. Making the designtime models available at run-time benefits the...