Sciweavers

1919 search results - page 24 / 384
» Recent Extensions to Traviando
Sort
View
SIGOPS
2008
157views more  SIGOPS 2008»
13 years 9 months ago
Evaluation of interrupt handling timeliness in real-time Linux operating systems
Several real-time Linux extensions are available nowadays. Two of those extensions that have received special attention recently are Preempt-RT and Xenomai. This paper evaluates t...
Paul Regnier, George Lima, Luciano Barreto
AUSAI
2010
Springer
13 years 8 months ago
Pushing the Envelope: General Game Players Prove Theorems
A general game player is a system that can play previously unknown games given nothing but their rules. A key to success in this endeavour is the ability to automatically gain know...
Sebastian Haufe, Michael Thielscher
SIGMOD
2010
ACM
155views Database» more  SIGMOD 2010»
13 years 8 months ago
Querying RDF streams with C-SPARQL
Continuous SPARQL (C-SPARQL) is a new language for continuous queries over streams of RDF data. CSPARQL queries consider windows, i.e., the most recent triples of such streams, ob...
Davide Francesco Barbieri, Daniele Braga, Stefano ...
LPAR
2010
Springer
13 years 7 months ago
On the Satisfiability of Two-Variable Logic over Data Words
Data trees and data words have been studied extensively in connection with XML reasoning. These are trees or words that, in addition to labels from a finite alphabet, carry labels ...
Claire David, Leonid Libkin, Tony Tan
USS
2010
13 years 7 months ago
An Analysis of Private Browsing Modes in Modern Browsers
We study the security and privacy of private browsing modes recently added to all major browsers. We first propose a clean definition of the goals of private browsing and survey i...
Gaurav Aggarwal, Elie Bursztein, Collin Jackson, D...