4385 search results - page 611 / 877 » Abstraction for Concurrent Objects |
179
click to vote
FMCO
2004
Springer
16 years 23 hour ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
164
click to vote
FOSSACS
2004
Springer
16 years 22 hour ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
148
click to vote
GPCE
2004
Springer
16 years 19 hour ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
163
click to vote
ICADL
2004
Springer
16 years 18 hour ago
2004
Springer
Abstract. Digital libraries are large, organized collections of information objects. Well-designed digital library software has the potential to enable nonspecialist people to conc...
165
click to vote
ICCS
2004
Springer
16 years 16 hour ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...