3458 search results - page 467 / 692 » Abstracting Control |
117
click to vote
SAS
2007
Springer
15 years 10 months 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...
139
click to vote
ESCIENCE
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract Grid services can be composed into processes, providing a high level definition of the computations involved in terms of their data exchanges and control flow dependenci...
130
click to vote
OTM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The modeling, design, and implementation of inter-organizational systems (IOS) is a challenging new problem. In contrast to previous systems, where components have clearl...
153
click to vote
TCC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
165
click to vote
RSP
2003
IEEE
15 years 9 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...