1497 search results - page 165 / 300 » Extended static checking |
88
Voted
EUROMICRO
2007
IEEE
15 years 7 months ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
102
click to vote
FSEN
2007
Springer
15 years 7 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
109
Voted
SAS
2007
Springer
15 years 7 months ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
111
click to vote
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...
99
Voted
AOSD
2006
ACM
15 years 6 months ago
2006
ACM
In the web services environment software development can involve writing both object-oriented programs and XML transformations. This can be seen in the popular Web Services archit...