3335 search results - page 365 / 667 » Grid result checking |
167
click to vote
VOTEID
2007
Springer
16 years 23 days ago
2007
Springer
Kutylowski et al. have introduced a voter-verifiable electronic voting scheme ”a practical voting scheme with receipts”, which provides each voter with a receipt. The voter ca...
155
click to vote
ETFA
2006
IEEE
16 years 21 days ago
2006
IEEE
New technological trends lead to the increasing use of network technologies in automation. Especially the Ethernet with TCP/IP and wireless networks find growing acceptance. The r...
162
click to vote
ICTCS
2005
Springer
16 years 4 days ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
119
click to vote
ICCS
2004
Springer
16 years 20 hour ago
2004
Springer
In this paper, we present our first experiences using Simics, a simulator which allows full-system simulation of multiprocessor architectures. We carry out a detailed performance ...
178
click to vote
ISOLA
2004
Springer
16 years 10 hour ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...