13734 search results - page 77 / 2747 » Abstractions of data types |
IJNSEC
2010
13 years 3 months ago
2010
As the importance and the value of exchanged data over the Internet or other media types are increasing, the search for the best solution to offer the necessary protection against...
SIGMOD
2005
ACM
14 years 9 months ago
2005
ACM
The description, composition, and execution of even logically simple scientific workflows are often complicated by the need to deal with "messy" issues like heterogeneou...
ISVLSI
2003
IEEE
14 years 2 months ago
2003
IEEE
The behavior of many algorithms is heavily determined by the input data. Furthermore, this often means that multiple and completely different execution paths can be followed, also...
FLOPS
2010
Springer
14 years 3 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
SIGIR
2003
ACM
14 years 2 months ago
2003
ACM
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed. ...