3400 search results - page 191 / 680 » tools 2008 |
155
click to vote
ENTCS
2008
15 years 6 months ago
2008
Freely available experimental transformation languages have begun to stimulate practical usage of textual transformation notations. The forthcoming QVT transformation languages ma...
156
click to vote
EOR
2008
15 years 6 months ago
2008
We review complexity results for minimizing polynomials over the standard simplex and unit hypercube. In addition, we derive new results on the computational complexity of approxi...
185
click to vote
FUIN
2008
15 years 6 months ago
2008
The aim of the work is twofold. In order to face the problem of modeling time constraints in Promela, a timed extension of the language is presented. Next, timed Promela is transla...
150
click to vote
CACM
2006
15 years 6 months ago
2006
Traditional auctions such as the English and first-price sealed-bid auctions have been adopted as another tool for procurement negotiations. Throughout the past decade many new auc...
132
click to vote
IGPL
2008
15 years 6 months ago
2008
A critical view of the alleged significance of Belnap four-valued logic for reasoning under inconsistent and incomplete information is provided. The difficulty lies in the confusi...