6274 search results - page 581 / 1255 » Proofs, Programs, Processes |
142
click to vote
ACSD
2008
IEEE
16 years 1 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
150
click to vote
ICIP
1998
IEEE
16 years 9 months ago
1998
IEEE
In this study, a new algorithm is proposed for the cryptography and steganography of an image or text. There is a variety of steganography and cryptography tools which are commonl...
193
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present an application of stable marriages algorithms, applied to level-line junctions, for obstacle detection. The method is implemented on our PiCar stereovisi...
192
click to vote
UM
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...
245
click to vote
IPPS
2003
IEEE
16 years 19 days ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...