6608 search results - page 1048 / 1322 » On the Completeness of Model Checking |
225
click to vote
ESOP
2005
Springer
16 years 25 days ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
169
click to vote
FOSSACS
2005
Springer
16 years 25 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
200
click to vote
GECCO
2005
Springer
16 years 25 days ago
2005
Springer
Memetic algorithms have become to gain increasingly important for solving large scale combinatorial optimization problems. Typically, the extent of the application of local search...
187
click to vote
ICALP
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
188
click to vote
ICIAR
2005
Springer
16 years 24 days ago
2005
Springer
There has been many hidden communication techniques proposed in the last few years. The focus was given to steganography to build such techniques. Utilizing stego-key(s) to hide se...