2030 search results - page 148 / 406 » Designing Complex Software Implementation Programs |
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
125
Voted
CODES
2006
IEEE
15 years 4 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
119
click to vote
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
105
click to vote
CHI
2010
ACM
15 years 9 months ago
2010
ACM
End-user programmers’ code is notoriously buggy. This problem is amplified by the increasing complexity of end users’ programs. To help end users catch errors early and reliab...
110
click to vote
ASPLOS
2010
ACM
15 years 5 months ago
2010
ACM
This paper proposes an efficient hardware/software system that significantly enhances software security through diversified replication on multi-cores. Recent studies show that a ...