448 search results - page 11 / 90 » A SOA-Based Framework for Constructing Problem Solving Envir... |
103
Voted
IEE
2010
14 years 10 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
92
Voted
DSE
1998
14 years 11 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
AIMSA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Computational Grids provide a widely distributed computing environment suitable for randomized SAT solving. This paper develops techniques for incorporating learning, kno...
CHI
2008
ACM
16 years 2 days ago
2008
ACM
We present a new interaction framework for collaborating in multiple display environments (MDEs) and report results from a field study investigating its use in an authentic work s...
90
Voted
ICPPW
2006
IEEE
15 years 5 months ago
2006
IEEE
The vast majority of research projects involving Grid Computing have focused on the development and standardization of the middleware that allows Grids to function. Despite the ma...