1888 search results - page 77 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
139
click to vote
IWPC
1999
IEEE
15 years 7 months ago
1999
IEEE
Automatic program comprehension is particularly useful when applied to sparse matrix codes, since it allows to abstract e.g. from specific sparse matrix storage formats used in th...
194
click to vote
TKDE
2012
13 years 5 months ago
2012
— Most proposed DHTs engage certain topology maintenance mechanisms specific to the static graphs on which they are based. The designs of these mechanisms are complicated and rep...
194
click to vote
CD
2005
Springer
15 years 8 months ago
2005
Springer
Recent studies showed potential for using component frameworks for building flexible adaptible applications for deployment in distributed environments. However this approach is h...
140
click to vote
ECMDAFA
2007
Springer
15 years 9 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
110
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Messaging plays a central role in the development of distributed object-oriented systems. It is supported by the specification of the Java Message Service (JMS) and CORBA’s Noti...