100 search results - page 18 / 20 » A Pragmatic Implementation of e-Transactions |
CAD
2002
Springer
13 years 8 months ago
2002
Springer
This paper describes the theory and implementation of a discrete mechanics model for deformable bodies, incorporating behavior such as motion, collision, deformation etc. The mode...
AGENTS
2001
Springer
14 years 1 months ago
2001
Springer
Rodents possess extraordinary navigation abilities that are far in excess of what current state-of-the-art robot agents are capable of. This paper describes research that is part ...
TLCA
2009
Springer
14 years 3 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
EGC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We describe the idea of a Science Gateway, an applicationspeciļ¬c task wrapped as a web service, and some examples of these that are being implemented on the US TeraGrid...
ERCIMDL
2005
Springer
14 years 2 months ago
2005
Springer
The OAI protocol facilitates the aggregation of large numbers of heterogeneous metadata records. In order to make harvested records useable in the context of an OAI service provide...