2935 search results - page 483 / 587 » An Integrated Approach to High Integrity Software Verificati... |
159
click to vote
ICMS
2010
15 years 4 months ago
2010
There is a growing interest in numeric-algebraic techniques in the computer algebra community as such techniques can speed up many applications. This paper is concerned with one su...
147
click to vote
JUCS
2010
15 years 4 months ago
2010
: One of the success factors of Work Integrated Learning (WIL) is to provide the appropriate content to the users, both suitable for the topics they are currently working on, and t...
161
click to vote
PDPTA
2010
15 years 3 months ago
2010
Abstract-- The success of Web Services as a tool to decouple and distribute different processes is beyond any doubt. On the one hand, their distributed nature makes them perfect to...
206
click to vote
ERCIMDL
2001
Springer
15 years 10 months ago
2001
Springer
This paper proposes an approach to the problem of generating metadata for composite mixed-media digital objects by appropriately combining and exploiting existing knowledge or met...
161
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
In this paper, we present various challenges that arise in the delivery and exchange of multimedia information to mobile devices. Specifically, we focus on techniques for maintain...