4814 search results - page 649 / 963 » Combining abstract interpreters |
144
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
In this paper, we propose a scalable instant code clone search engine for large-scale software repositories. While there are commercial code search engines available, they treat s...
151
click to vote
SOCA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Workflow design, mashup configuration, and composite service formation are examples where the capabilities of multiple simple services combined achieve a complex function...
140
click to vote
UTP
2010
15 years 3 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
136
click to vote
WD
2010
15 years 3 months ago
2010
Abstract--Packet-combining schemes are an attractive improvement to ARQ schemes, since they allow receivers to keep the good parts of an otherwise erroneous packet and use these wi...
202
click to vote
WOA
2010
15 years 3 months ago
2010
Current technologies permit people to make use of various systems able to fulfill most of their needs while being at home. However, their use is often not intuitive and they are al...