2016 search results - page 338 / 404 » Some observations on HC-128 |
SIGECOM
2005
ACM
15 years 5 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 ...
AINTEC
2005
Springer
15 years 5 months ago
2005
Springer
— We present a vision of an Intelligent Network in which users dynamically indicate their requests for services, and formulate needs in terms of Quality of Service (QoS) and pric...
100
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
State estimation consists of updating an agent’s belief given executed actions and observed evidence to date. In single agent environments, the state estimation can be formalize...
ATVA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
109
click to vote
CALCO
2005
Springer
15 years 5 months ago
2005
Springer
Event-pattern reactive programs are front-end programs for distributed reactive components that preprocess an incoming stream of event stimuli. Their purpose is to recognize tempor...