3468 search results - page 166 / 694 » An open logical framework |
192
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
— Trust in software services is a key prerequisite for the success and wide adoption of Services-Oriented Computing (SOC) in an open Internet world. However, trust is poorly asse...
150
click to vote
EUROPAR
2007
Springer
16 years 20 days ago
2007
Springer
This paper introduces the design of SymGrid, a new Grid framework that will, for the first time, allow multiple invocations of symbolic computing applications to interact via the ...
195
click to vote
3DPVT
2006
IEEE
16 years 17 days ago
2006
IEEE
Using Epipolar Image Analysis in the context of the correspondence finding problem in depth reconstruction has several advantages. One is the elegant incorporation of prior knowl...
179
click to vote
JCDL
2005
ACM
16 years 1 days ago
2005
ACM
This paper introduces a new framework for building digital library collections and contrasts it with existing systems. It describes a radical new step in the development of a widel...
161
click to vote
APSEC
1997
IEEE
15 years 10 months ago
1997
IEEE
The problems posed by mission-critical legacy systems - brittleness, inflexibility, isolation, non-extensibility, lack of openness etc. - are well known, but practical solutions h...