661 search results - page 133 / 133 » What Can We Expect from Program Verification |
SAC
2005
ACM
13 years 10 months ago
2005
ACM
The tuple space model inspired by Linda has recently been rediscovered by distributed middleware. Moreover, some researchers also applied it in the challenging scenarios involving...