12774 search results - page 2505 / 2555 » A Framework for Proof Systems |
145
click to vote
CICLING
2003
Springer
15 years 11 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
175
click to vote
EAGC
2003
Springer
15 years 11 months ago
2003
Springer
In the paper we aim to describe the project developing the Migrating Desktop infrastructure for the mobile users in a simple way. We also focus on the development testbed, which i...
161
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
Most modern RDBMS depend on the query processing optimizer’s cost model to choose the best execution plan for a given query. Since the physical IO (PIO) is a costly operation to...
134
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
One trend in day-to-day computing involves moving seamlessly from large powerful workstations to small handheld devices. A second trend is continuous collaboration with colleagues...
166
click to vote
INFOCOM
2002
IEEE
15 years 10 months ago
2002
IEEE
— For wireless cellular and ad hoc networks with QoS constraints, we propose a suite of problem formulations that allocate network resources to optimize SIR, maximize throughput ...