2947 search results - page 256 / 590 » Analyzing Program Analyses |
168
click to vote
WCRE
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which abstract pr...
165
click to vote
LFCS
2007
Springer
16 years 24 days ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
191
click to vote
ACSC
2006
IEEE
16 years 22 days ago
2006
IEEE
The purpose of refactoring is to improve the quality of a software system by changing its internal design so that it is easier to understand or modify, or less prone to errors and...
150
click to vote
MSR
2006
ACM
16 years 19 days ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
177
click to vote
HICSS
2005
IEEE
16 years 8 days ago
2005
IEEE
1 On the Internet, digitally active small and medium sized enterprises (SME) face numerous security risks. When SMEs join networks, business ideas and malicious activities may inte...