2006 search results - page 105 / 402 » Instrumenting the Dynamic Web |
CSCWD
2007
Springer
14 years 2 months ago
2007
Springer
Business applications are more and more often developed on the basis of Web services. The aim is to provide platform independence and loose coupling between business applications ...
ENTCS
2006
13 years 7 months ago
2006
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
PLDI
2010
ACM
14 years 28 days ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
SPAA
1999
ACM
14 years 5 days ago
1999
ACM
Clustering supportwith a single-systemimagefor large-scaleWeb serversis important to improve the systemscalability in processing alargenumberof concurrentrequestsfrom Internet,esp...