1911 search results - page 258 / 383 » Program analysis for code duplication in logic programs |
116
Voted
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
107
Voted
CCS
2004
ACM
15 years 8 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
119
Voted
ICSM
1997
IEEE
15 years 6 months ago
1997
IEEE
ÐWe describe a general technique for identifying modules in legacy code. The method is based on concept analysisÐa branch of lattice theory that can be used to identify similarit...
96
Voted
ERCIM
2008
15 years 2 months ago
2008
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
133
Voted
ICSOC
2004
Springer
15 years 8 months ago
2004
Springer
Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...