7124 search results - page 832 / 1425 » Programming Languages and Operating Systems |
193
click to vote
CD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A distributed software system's deployment architecture can have a significant impact on the system's properties. These properties will depend on various system...
172
click to vote
APLAS
2008
ACM
15 years 9 months ago
2008
ACM
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
175
click to vote
HICSS
2003
IEEE
16 years 11 days ago
2003
IEEE
The purpose of this paper is to propose visual models for a web application using Java and XML related technologies. We consider a web application that uses 3tier architecture and...
213
click to vote
PLDI
2010
ACM
16 years 4 days ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
184
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
The excessive complexity of both machine architectures and applications have made it difficult for compilers to statically model and predict application behavior. This observatio...