2584 search results - page 290 / 517 » On the Forward Checking Algorithm |
134
Voted
AICCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
122
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
104
click to vote
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
147
click to vote
TASE
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
139
click to vote
DFT
2007
IEEE
15 years 9 months ago
2007
IEEE
Many side-channel attacks on implementations of cryptographic algorithms have been developed in recent years demonstrating the ease of extracting the secret key. In response, vari...