374 search results - page 52 / 75 » Applying Static Analysis to Software Architectures |
115
click to vote
ADBIS
2005
Springer
15 years 7 months ago
2005
Springer
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...
117
click to vote
SIGCOMM
2006
ACM
15 years 7 months ago
2006
ACM
Fast and effective distribution of software updates (a.k.a. patches) to millions of Internet users has evolved into a critical task over the last years. In this paper, we characte...
122
click to vote
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
131
click to vote
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Some decision problems related to balanced context-free languages are important for their application to the static analysis of programs generating XML strings. One such ...
117
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...