Sciweavers

1253 search results - page 201 / 251
» order 2000
Sort
View
DEDS
2000
104views more  DEDS 2000»
14 years 10 months ago
Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems
We address the problem of failure diagnosis in discrete event systems with decentralized information. We propose a coordinated decentralized architecture consisting of local sites ...
Rami Debouk, Stéphane Lafortune, Demostheni...
ELECTRONICMARKETS
2000
81views more  ELECTRONICMARKETS 2000»
14 years 10 months ago
On Auctions as the Negotiation Paradigm of Electronic Markets
Until recently, electronic markets were dominated by the combination of static offer schemes and fixed pricing. Static offer schemes such as online catalogues apparently bear the ...
Michael Ströbel
ENTCS
2000
59views more  ENTCS 2000»
14 years 10 months ago
Building continuous webbed models for system F
We present here a large family of concrete models for Girard and Reynolds polymorphism (System F), in a non categorical setting. The family generalizes the construction of the mod...
Stefano Berardi, Chantal Berline
EOR
2000
98views more  EOR 2000»
14 years 10 months ago
Optimal planning in large multi-site production networks
This contribution describes a general mixed-integer linear programming model based on a time-indexed formulation covering the relevant features required for the complete supply ch...
Christian Timpe, Josef Kallrath
ESE
2000
102views Database» more  ESE 2000»
14 years 10 months ago
Picking the Right Problem Frame-An Empirical Study
Problem frames are a relatively new approach to requirements engineering, promising benefits not only in elicitation but also in subsequent design, by allowing their users to selec...
Keith Phalp, Karl Cox