4280 search results - page 699 / 856 » Mechanisms for information elicitation |
196
click to vote
CLEIEJ
2006
15 years 6 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
175
click to vote
COMCOM
2006
2006
Performance optimization of an adaptive wireless push system in environments with locality of demand
15 years 6 months ago
In many data broadcasting applications clients are grouped into several groups, each one located at a different region, with the members of each group having similar demands. This...
193
click to vote
ENTCS
2006
15 years 6 months ago
2006
Accounting for the CPU consumption of applications is crucial for software development to detect and remove performance bottlenecks (profiling) and to evaluate the performance of ...
188
click to vote
ENTCS
2006
15 years 6 months ago
2006
Recent technological advances have enabled both the consumption and provision of mobile services (m-services) by small, portable, handheld devices. However, mobile devices still h...
156
click to vote
ETT
2006
15 years 6 months ago
2006
The Drive-thru Internet architecture allows exploiting intermittent connectivity by temporarily connecting to IEEE 802.11 WLAN access points at the roadside from moving vehicles. T...