8377 search results - page 1482 / 1676 » Scenarios - Introduction |
194
click to vote
TARK
2007
Springer
16 years 21 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
203
click to vote
TSD
2007
Springer
16 years 21 days ago
2007
Springer
The world wide web is a natural setting for cross-lingual information retrieval. The European Union is a typical example of a multilingual scenario, where multiple users have to de...
204
click to vote
VLDB
2007
ACM
16 years 21 days ago
2007
ACM
This paper describes Continuous Queries (CQ) in Oracle RDBMS, a feature that incorporates stream and complex event processing into an RDBMS, the first such attempt in commercial d...
194
click to vote
WEA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. A major task in evolutionary biology is to determine the ancestral relationships among the known species, a process generally referred as phylogenetic reconstruction. In ...
196
click to vote
WISTP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. For ubiquitous communication self-organising adhoc networks become more and more important. We consider mobile phones as appropriate secure gateways to provide access to ...