7167 search results - page 784 / 1434 » Answer Set Programming |
170
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We study information elicitation mechanisms in which a principal agent attempts to elicit the private information of other agents using a carefully selected payment scheme based o...
161
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
190
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In multimedia and other streaming applications a significant portion of energy is spent on data transfers. Exploiting data reuse opportunities in the application, we can reduce th...
153
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
Environment classifiers were proposed as a new approach to typing multi-stage languages. Safety was established in the simply-typed and let-polymorphic settings. While the motivati...
179
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
The integration of aspects into the methodology of stepwise software development and evolution is still an open issue. This paper focuses on the global quantification mechanism of...