1067 search results - page 49 / 214 » A Distributed Object Model for the Java System |
115
click to vote
EDO
2000
Springer
15 years 5 months ago
2000
Springer
: Middleware technologies such as CORBA and DCOM have been developed as a means of tackling heterogeneity and complexity problems inherent in distributed systems. However, more wor...
111
click to vote
ECBS
2003
IEEE
15 years 7 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
110
click to vote
WCRE
1999
IEEE
15 years 6 months ago
1999
IEEE
Legacy systems provide services that remain useful beyond the means of the technology in which they were originally implemented. Our Legacy Wrapper tool packages the services of a...
129
click to vote
COOPIS
2003
IEEE
15 years 7 months ago
2003
IEEE
We propose a parallel and distributed component framework for building Grid applications, adapted to the hierarchical, highly distributed, highly heterogeneous nature of Grids. Thi...
128
click to vote
TAP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...