494 search results - page 23 / 99 » Static Analysis for Guarded Code |
WWW
2004
ACM
14 years 9 months ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
SOSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
ECRTS
1998
IEEE
14 years 28 days ago
1998
IEEE
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
IASTEDSE
2004
13 years 10 months ago
2004
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
INFOCOM
2008
IEEE
14 years 3 months ago
2008
IEEE
—In this paper, we propose a novel transport protocol that effectively utilizes available bandwidth and diversity gains provided by heterogeneous, highly lossy paths. Our Multi-P...