7504 search results - page 351 / 1501 » Computing with Action Potentials |
172
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
127
click to vote
PG
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a physically-inspired model of wax crayons, which synthesizes drawings from collections of userspecified strokes. Paper is represented by a height-field texture, and ...
135
click to vote
ITICSE
2000
ACM
15 years 9 months ago
2000
ACM
In this paper, we present ANIMAL, a new tool for developing animations to be used in lectures. ANIMAL offers a small but powerful set of graphical operators. Animations are genera...
121
click to vote
GPC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper describes a new approach to implement Web Services in embedded devices connected to Wireless Sensor Networks. The sensor/actuator node is able to process stand...
138
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
This paper studies the (in)equational theory of simulation preorder and equivalence over the process algebra BCCSP. We prove that in the presence of a finite alphabet with at least...