4418 search results - page 30 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
141
Voted
CICLING
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper, we describe a new unsupervised sentence boundary detection system and present a comparative study evaluating its performance against different systems foun...
132
Voted
CLUSTER
2004
IEEE
15 years 3 months ago
2004
IEEE
Grid computing systems are emerging as a computing infrastructure that will enable the use of wide-area network computing systems for a variety of challenging applications. One of ...
115
Voted
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
100
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract: Voter privacy and verifiability are fundamental security concepts for electronic voting. Existing literature on electronic voting provides many definitions and interpreta...
136
Voted
NDQA
2003
15 years 5 months ago
2003
With the ever-increasing amount of textual information available, it is becoming increasingly unlikely that a single document will provide the answer to a question. A more likely ...