4340 search results - page 789 / 868 » Formal Methods and Cryptography |
143
click to vote
WOTE
2010
15 years 2 months ago
2010
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
147
click to vote
ACL
2009
15 years 2 months ago
2009
This paper introduces a new algorithm to parse discourse within the framework of Rhetorical Structure Theory (RST). Our method is based on recent advances in the field of statisti...
158
click to vote
CLUSTER
2009
IEEE
15 years 2 months ago
2009
IEEE
With the advent of high-performance COTS clusters, there is a need for a simple, scalable and faulttolerant parallel programming and execution paradigm. In this paper, we show that...
143
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
Abstract: GPS technology has made it possible to evaluate the performance of outdoor advertising campaigns in an objective manner. Given the GPS trajectories of a sample of test pe...
122
click to vote
CLEIEJ
2010
15 years 1 months ago
2010
Component-based software development needs to formalize a process of generation, evaluation and selection of Composite COTS-based Software Systems (CCSS), enabling software archit...