8874 search results - page 227 / 1775 » A New Implementation of Automath |
146
Voted
WAIFI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We focus on the implementation and security aspects of cryptographic protocols that use Type 1 and Type 4 pairings. On the implementation front, we report improved timing...
161
click to vote
WISE
2010
Springer
15 years 2 months ago
2010
Springer
Mashup combines information or functionality from two or more existing Web sources to create a new Web page or application. The Web sources that are used to build mashup applicatio...
188
click to vote
CEFP
2009
Springer
15 years 2 months ago
2009
Springer
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
161
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
Query reformulation modifies the original query with the aim of better matching the vocabulary of the relevant documents, and consequently improving ranking effectiveness. Previou...
191
click to vote
GRID
2010
Springer
15 years 1 months ago
2010
Springer
Abstract The EGEE grid offers the necessary infrastructure and resources for reducing the running time of particle tracking Monte-Carlo applications like GATE. However, efforts are...