1027 search results - page 142 / 206 » Callgraph properties of executables |
170
click to vote
COREGRID
2007
Springer
16 years 6 days ago
2007
Springer
This paper deals with one of the fundamental properties of grid computing – transferring code between grid nodes and executing it remotely on heterogeneous hosts. Contemporary mi...
148
click to vote
ECOWS
2007
Springer
16 years 6 days ago
2007
Springer
For improved flexibility and concurrent usage existing transaction management models for Web services relax the isolation property of Web service-based transactions. Correctness o...
155
click to vote
ECOWS
2007
Springer
16 years 6 days ago
2007
Springer
Recently, OASIS approved two standards respectively for Web Service composition and for Web Service transactions. Nevertheless, it is still unclear how WS-BPEL and the WS-TX famil...
189
click to vote
EMSOFT
2007
Springer
16 years 6 days ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
157
click to vote
ESORICS
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...