5548 search results - page 342 / 1110 » Programming a Distributed System Using Shared Objects |
139
click to vote
ISPAN
1999
IEEE
15 years 9 months ago
1999
IEEE
Current distributed parallel platforms can provide the resources required to execute a scientific application efficiently. However, when these platforms are shared by multiple use...
133
click to vote
ISORC
1999
IEEE
15 years 9 months ago
1999
IEEE
CORBA is an emerging middleware infrastructure with open standardization that is receiving a good acceptance since it makes easier to program distributed objects. CORBA is being e...
122
click to vote
JISBD
2001
15 years 6 months ago
2001
In this paper we show how the formal specification of a system written in Maude can be easily connected to its Web-based distributed implementation using SOAP. In addition to the u...
122
click to vote
EDUTAINMENT
2009
Springer
15 years 11 months ago
2009
Springer
Designing intelligent products, systems and related services require the designers to be able to integrate technology in their designs. Among other skills, programming is the key f...
128
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...