3948 search results - page 616 / 790 » Integration Workbench: Integrating Schema Integration Tools |
151
click to vote
OTM
2007
Springer
16 years 20 days ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
152
click to vote
RV
2007
Springer
16 years 20 days ago
2007
Springer
We introduce a new non-interference criterion for concurrent programs: rollback atomicity. Similarly to other definitions of atomicity, rollback atomicity of a given concurrent ex...
148
click to vote
SAS
2007
Springer
16 years 20 days ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
178
click to vote
SEKE
2007
Springer
16 years 20 days ago
2007
Springer
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...
199
click to vote
ACSAC
2006
IEEE
16 years 19 days ago
2006
IEEE
The efficiency of promptly releasing security alerts of established analysis centers has been greatly challenged by the continuous emergence of various large scale network attack...