3689 search results - page 290 / 738 » A Language with Distributed Scope |
175
click to vote
CLOUDCOM
2010
Springer
15 years 2 months ago
2010
Springer
Discovering the correct dataset efficiently is critical for computations and effective simulations in scientific experiments. In contrast to searching web documents over the Intern...
236
click to vote
CONCUR
2011
Springer
14 years 4 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
141
click to vote
COORDINATION
2004
Springer
15 years 10 months ago
2004
Springer
A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented....
110
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
This paper demonstrates how three stochastic process algebras can be mapped on to a generally-distributed stochastic transition system. We demonstrate an aggregation technique on ...
167
click to vote
MIDDLEWARE
2005
Springer
15 years 10 months ago
2005
Springer
Distributed publish/subscribe systems are naturally suited for processing events in distributed systems. However, support for expressing patterns about disparate events and algorit...