24741 search results - page 4366 / 4949 » Virtual Network Computing |
235
click to vote
ICWS
2009
IEEE
15 years 4 months ago
2009
IEEE
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...
119
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper reports our work on extending the OMNeT++ INET Framework with a directional radio model, putting a special emphasis on the implementation of asymmetrical communications...
209
click to vote
FAC
2010
15 years 4 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
170
click to vote
FAC
2010
15 years 4 months ago
2010
Separation logic allows simple proofs of concurrent algorithms which use blocking mechanisms such as semaphores. It can even deal with non-blocking algorithms. With the addition of...
237
click to vote
CCR
2011
15 years 2 months ago
2011
This document collects together reports of the sessions from the 2010 ACM SIGCOMM Conference, the annual conference of the ACM Special Interest Group on Data Communication (SIGCOM...