2935 search results - page 399 / 587 » An Integrated Approach to High Integrity Software Verificati... |
198
click to vote
P2P
2005
IEEE
15 years 12 months ago
2005
IEEE
A number of solutions have been proposed to address the free-riding problem in peer-to-peer file sharing systems. The solutions are either imperfect–they allow some users to ch...
159
click to vote
POLICY
2004
Springer
15 years 11 months ago
2004
Springer
We present PROTON, a policy-based solution for 4G mobile devices – it allows users to seamlessly connect to highly integrated heterogeneous wireless networks. The key motivation...
174
click to vote
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we propose an energy functional to segment objects whose global shape is a priori known thanks to a statistical model. Our work aims at extending the variational ap...
154
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
Higher levels of integration, the need for test re-use, and the mixed-signal nature of today’s SOC’s necessitate hierarchical test generation and system level test composition...
158
click to vote
COOPIS
1999
IEEE
15 years 10 months ago
1999
IEEE
There is currently great interest in building information mediators that can integrate informationfrom multipledata sources such as databases or Web sources. The query response ti...