Sciweavers

2562 search results - page 301 / 513
» The Use of B2B Process Standards: A Case Study
Sort
View
SIGECOM
2005
ACM
106views ECommerce» more  SIGECOM 2005»
16 years 24 days ago
On decentralized incentive compatible mechanisms
Algorithmic Mechanism Design focuses on Dominant Strategy Implementations. The main positive results are the celebrated Vickrey-Clarke-Groves (VCG) mechanisms and computationally ...
Ahuva Mu'alem
FATES
2005
Springer
16 years 23 days ago
Model-Based Testing Through a GUI
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
Antti Kervinen, Mika Maunumaa, Tuula Pää...
ADAEUROPE
2004
Springer
16 years 20 days ago
High-Integrity Interfacing to Programmable Logic with Ada
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
Adrian J. Hilton, Jon G. Hall
PPDP
2004
Springer
16 years 18 days ago
Nominal rewriting systems
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
Maribel Fernández, Murdoch Gabbay, Ian Mack...
ESANN
2001
15 years 8 months ago
Applications of neuro-fuzzy classification, evaluation and forecasting techniques in agriculture
Aim of the present article is to show the results obtained from the application of neuro-fuzzy methodology in the solution of agriculture problems like the Bactrocera Oleae (olive...
Elena Bellei, Diego Guidotti, Ruggero Petacchi, Le...