2902 search results - page 316 / 581 » Software Product Lines |
153
click to vote
VMCAI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
160
click to vote
SCAM
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...
171
click to vote
CASES
2009
ACM
15 years 11 months ago
2009
ACM
Security of smart cards is continuously threatened by many software and hardware attacks. Those attacks focus on giving secret information that are stored in the card like PIN cod...
221
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
165
Voted
IWPC
1999
IEEE
15 years 11 months ago
1999
IEEE
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...