58 search results - page 6 / 12 » Opaque Control-Flow Integrity |
ISORC
2005
IEEE
14 years 3 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
RSP
2005
IEEE
14 years 3 months ago
2005
IEEE
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
ICCAD
1994
IEEE
14 years 1 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
ECOOPWEXCEPTION
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification system...
BPM
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...