583 search results - page 62 / 117 » Concurrency control for distributed cooperative engineering ... |
POPL
2009
ACM
14 years 8 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
ECRTS
2007
IEEE
14 years 2 months ago
2007
IEEE
A critical resource in a distributed real-time system is its shared communication medium. Unrestrained concurrent access to the network can lead to collisions that reduce the syst...
CCE
2007
13 years 9 months ago
2007
: The concept of Virtual Organisation (VO) offers various solutions to management, collaboration and coordination issues important for distributed collaborating teams. Deployment o...
COMPSAC
2008
IEEE
13 years 9 months ago
2008
IEEE
Service-oriented architecture (SOA) for distributed computing has become increasingly popular due to the great advantage that distributed applications can be rapidly synthesized w...
CISIS
2009
IEEE
14 years 2 months ago
2009
IEEE
We discuss dynamic parameter tuning in wide-area data transfers for efficient utilization of available network capacity and optimized end-to-end application performance. Impacts ...