Sciweavers

6149 search results - page 492 / 1230
» Revealing the programming process
Sort
View
VL
1996
IEEE
130views Visual Languages» more  VL 1996»
15 years 11 months ago
Seeing Systolic Computations in a Video Game World
ToonTalkTM is a general-purpose concurrent programming system in which the source code is animated and the programming environment is like a me. Every abstract computational aspec...
Kenneth M. Kahn
CMSB
2009
Springer
16 years 1 months ago
The Equivalence between Biology and Computation
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...
John K. Heath
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
16 years 1 months ago
PicNIc - Pi-calculus non-interference checker
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...
Silvia Crafa, Matteo Mio, Marino Miculan, Carla Pi...
ICIP
1998
IEEE
16 years 8 months ago
Hiding Information in Images
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...
Lisa M. Marvel, Charles T. Retter, Charles G. Bonc...
ICIP
2007
IEEE
16 years 1 months ago
Marrying Level-Line Junctions for Obstacle Detection
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...
Nikom Suvonvorn, Francois Le Coat, Bertrand Zavido...