2098 search results - page 357 / 420 » The Persistent Abstract Machine |
140
Voted
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
181
click to vote
ARCSF
2008
15 years 6 months ago
2008
Abstract-- Affective information is vital for effective human-tohuman communication. Likewise, human-to-computer communication could be potentiated by an "affective barometer&...
142
Voted
FORTE
2010
15 years 6 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
139
click to vote
DBSEC
2007
15 years 6 months ago
2007
Abstract. In this paper, we present the design of gVault, a cryptographic network file system that utilizes the data storage provided by Gmail’s web-based email service. Such a ...
138
Voted
ECIR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present results of a new approach to detect destructive article revisions, so-called vandalism, in Wikipedia. Vandalism detection is a one-class classification problem...