618 search results - page 111 / 124 » A Practical Program Transformation System for Reverse Engine... |
120
click to vote
SCESM
2006
ACM
15 years 5 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
IJCAI
1989
15 years 25 days ago
1989
A modest exception allowing inheritance reasoner is presented. The reasoner allows restricted, but semantically well founded, defeasible property inheritance. Furthermore, it give...
117
click to vote
CCS
2011
ACM
13 years 11 months ago
2011
ACM
Malware continues to remain one of the most important security problems on the Internet today. Whenever an anti-malware solution becomes popular, malware authors typically react p...
113
click to vote
EUROMICRO
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
100
click to vote
EUROSPI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Extreme programming (XP), similar to other agile software development methods, values close collaboration with customers. One of the XP's practices suggests that cus...