330 search results - page 19 / 66 » Engineering distributed software: a structural discipline |
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
ICSEA
2008
IEEE
14 years 3 months ago
2008
IEEE
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...
COMPSAC
2004
IEEE
14 years 23 days ago
2004
IEEE
Recently distributed hash table (DHT) mechanisms have been proposed to manage data in very large, structured peer-to-peer (P2P) systems. DHT algorithms provide efficient exact-mat...
ICSM
2007
IEEE
14 years 3 months ago
2007
IEEE
We examine eleven large open source software systems and present empirical evidence for the existence of fractal structures in software evolution. In our study, fractal structures...
APSEC
2008
IEEE
13 years 10 months ago
2008
IEEE
The effort that has been made to study risk management in the context of software architecture and its evolution, has so far focused on output from structured evaluations. However...