1704 search results - page 100 / 341 » Design of a Concurrent and Distributed Language |
CD
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...
WWW
2005
ACM
15 years 3 months ago
2005
ACM
The interoperability among distributed and autonomous systems is the ultimate challenge facing the semantic web. Heterogeneity of data representation is the main source of problem...
PDCAT
2007
Springer
15 years 4 months ago
2007
Springer
We present the architecture of nreduce, a distributed virtual machine which uses parallel graph reduction to run programs across a set of computers. It executes code written in a ...
COORDINATION
2009
Springer
15 years 10 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
101
click to vote
ISORC
2005
IEEE
15 years 3 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...