16859 search results - page 247 / 3372 » Generative software development |
172
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
193
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
177
click to vote
AVI
2008
15 years 9 months ago
2008
To support planning of massive transportations under time-critical conditions, in particular, evacuation of people from a disasteraffected area, we have developed a software modul...
122
Voted
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
