12774 search results - page 376 / 2555 » A Framework for Proof Systems |
262
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
Traditional client-server applications relegate query and persistence operations on their data to database systems. The database system operates on data in the form of rows and ta...
214
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
Over the past decade, system architectures have started on a clear trend towards increased parallelism and heterogeneity, often resulting in speedups of 10x to 100x. Despite numer...
158
click to vote
EMS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Air travel is becoming increasingly more accessible to people both through the availability of cheap flights and because the airlines are now able to cater for individuals of a...
182
click to vote
ICDCS
2005
IEEE
16 years 15 days ago
2005
IEEE
The design of the access networks of next generation broadband wireless systems requires special attention in the light of changing network characteristics. In this paper, we pres...
184
click to vote
EATIS
2007
ACM
15 years 10 months ago
2007
ACM
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...