2631 search results - page 228 / 527 » Software Development with Code Maps |
108
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
We have developed an infrastructure for end-to-end run-time monitoring, behavior/performance analysis, and dynamic adaptation of distributed software. This infrastructure is prima...
136
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
While the use of software component models has become popular in the development of desktop applications and distributed information systems, such models have not been widely used...
153
Voted
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
137
Voted
GCSE
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...
134
click to vote
DSN
2008
IEEE
15 years 5 months ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...