4401 search results - page 510 / 881 » Computing with Default Logic |
174
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this work we examine the implications of building a single logical link out of multiple physical links. We use MultiEdge [12] to examine the throughput-CPU utilization tradeoff...
175
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
In the near future, homes are envisioned to be equipped with numerous intelligent communicating devices. Such smart home needs to exhibit highly adaptive behavior to meet the inha...
214
click to vote
COORDINATION
2007
Springer
16 years 1 months ago
2007
Springer
Coordination languages for ad hoc networks with a fluid topology do not offer adequate support to detect and deal with device disconnection. Such a disconnection is particularly ...
172
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
184
Voted
HUC
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents Haggle, an architecture for mobile devices that enables seamless network connectivity and application functionality in dynamic mobile environments. Current appl...