Sciweavers

22193 search results - page 4012 / 4439
» Multiple Restricted Multiplication
Sort
View
154
Voted
ECWEB
2005
Springer
121views ECommerce» more  ECWEB 2005»
15 years 10 months ago
Fuzzy Virtual Card Agent for Customizing Divisible Card Payments
: E-commerce customers may have a problem when paying for the purchase of a major item, if its price is larger than the available credit on their credit card. In the brick and mort...
Soon Ae Chun, Yoo Jung An, James Geller, Sunju Par...
159
Voted
EMSOFT
2005
Springer
15 years 10 months ago
High performance annotation-aware JVM for Java cards
Early applications of smart cards have focused in the area of personal security. Recently, there has been an increasing demand for networked, multi-application cards. In this new ...
Ana Azevedo, Arun Kejariwal, Alexander V. Veidenba...
ERCIMDL
2005
Springer
80views Education» more  ERCIMDL 2005»
15 years 10 months ago
Strategies for Reprocessing Aggregated Metadata
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...
Muriel Foulonneau, Timothy W. Cole
146
Voted
ERCIMDL
2005
Springer
109views Education» more  ERCIMDL 2005»
15 years 10 months ago
MedioVis - A User-Centred Library Metadata Browser
MedioVis is a visual information seeking system which was designed especially for library data. The objective target was to create a system which simplifies and optimizes the userâ...
Christian Grün, Jens Gerken, Hans-Christian J...
FM
2005
Springer
156views Formal Methods» more  FM 2005»
15 years 10 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
« Prev « First page 4012 / 4439 Last » Next »