4397 search results - page 726 / 880 » Relational Algebra Operations |
CSL
2010
Springer
15 years 23 days ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
111
Voted
DAIS
2009
15 years 22 days ago
2009
Ubiquitous computing architectures enable interaction and collaboration in multi-user applications. We explore the challenges of integrating the disparate services required in such...
95
Voted
FSTTCS
2008
Springer
15 years 22 days ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
SIGCOMM
2010
ACM
14 years 12 months ago
2010
ACM
Online microblogging services, as exemplified by Twitter, have become immensely popular during the latest years. However, current microblogging systems severely suffer from perfor...
ICASSP
2010
IEEE
14 years 12 months ago
2010
IEEE
This paper summarizes recent work at Microsoft on the development of novel direct models. The key characteristic of our approaches is the use of long-span segment level features t...