2074 search results - page 352 / 415 » Using an Object Reference Approach to Distributed Updates |
160
Voted
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
190
Voted
SPAA
2012
ACM
13 years 8 months ago
2012
ACM
hyperobjects (reducers) provide a linguistic abstraction for dynamic multithreading that allows different branches of a parallel program to maintain coordinated local views of the...
164
click to vote
ICSM
2006
IEEE
16 years 5 days ago
2006
IEEE
Although the world-wide-web (WWW) has significantly enhanced open-source software (OSS) development, it has also created new challenges for quality assurance (QA), especially for...
191
click to vote
AMKM
2003
Springer
15 years 11 months ago
2003
Springer
We first describe a multi-agent system managing a corporate memory in the form of a corporate semantic web. We then focus on a newly introduced society of agents in charge of wrap...
179
Voted
ERLANG
2003
ACM
15 years 11 months ago
2003
ACM
The viability of implementing an in-memory database, Erlang ETS, using a relatively-new data structure, called a Judy array, was studied by comparing the performance of ETS tables...