3052 search results - page 34 / 611 » Weakly Distributive Domains |
CONCUR
2003
Springer
15 years 2 months ago
2003
Springer
d Abstract) Christel Baier1 , Holger Hermanns2,3 , Joost-Pieter Katoen2 , and Verena Wolf1 1 Institut f¨ur Informatik I, University of Bonn R¨omerstraße 164, D-53117 Bonn, Germa...
69
Voted
CONCUR
2000
Springer
15 years 2 months ago
2000
Springer
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...
ETFA
2006
IEEE
15 years 3 months ago
2006
IEEE
—The International Electro-technical Commission through the 61499 standard establishes the basic infrastructure towards an open market in the control and automation domain. This ...
SIGECOM
2005
ACM
15 years 3 months ago
2005
ACM
Algorithmic Mechanism Design focuses on Dominant Strategy Implementations. The main positive results are the celebrated Vickrey-Clarke-Groves (VCG) mechanisms and computationally ...
ICPPW
2005
IEEE
15 years 3 months ago
2005
IEEE
