12193 search results - page 209 / 2439 » It's not all about |
187
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...
172
click to vote
DM
2011
14 years 10 months ago
2011
A k-plex of a latin square is a collection of cells representing each row, column, and symbol precisely k times. The classic case of k = 1 is more commonly known as a transversal....
161
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
Comparing context of different entities is not easy at all. Since context depends on the situation of a particular entity it can be understood in different ways by various entitie...
137
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
An approach of output regulation with measurement feedback is proposed for the control of heavy haul trains. The objective is to regulate all cars' speeds to a prescribed spe...
171
click to vote
CRYPTO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider enhancing with privacy concerns a large class of auctions, which include sealed-bid single-item auctions but also general multi-item multi-winner auctions, ou...