1147 search results - page 112 / 230 » An Object-Oriented Approach for High Availability of Applica... |
160
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
185
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
During the last few years, the concepts of cluster computing and heterogeneous networked systems have received increasing interest. The popularity of using Java for developing par...
137
click to vote
EICS
2009
ACM
15 years 10 months ago
2009
ACM
Distributed interactive systems often rely on platform information, used for example when migrating a user interface to a small-screen device, or when opportunistically recruiting...
151
click to vote
ESTIMEDIA
2006
Springer
15 years 9 months ago
2006
Springer
Many real-time image processing applications are confronted with performance limitations when implemented in software. The skin segmentation algorithm utilized in hand gesture rec...
165
click to vote
GIS
2002
ACM
15 years 5 months ago
2002
ACM
The focus of this paper is on interoperability issues to achieve data integration in distributed databases for geographic applications. Our concrete application is in the context ...