7504 search results - page 388 / 1501 » Computing with Action Potentials |
138
Voted
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
134
Voted
ACMDIS
2006
ACM
15 years 10 months ago
2006
ACM
Gibson’s seminal concept of affordance could have real design power if it could be adequately explained as a phenomenon that happens within the scale of human lifetime. Today th...
136
click to vote
POLICY
2005
Springer
15 years 10 months ago
2005
Springer
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
179
click to vote
CIS
2004
Springer
15 years 10 months ago
2004
Springer
The pi calculus has been applied to modelling biochemical networks. In these applications, the modelling is done without considerations to exceptions. The Ipi calculus, the Interfe...
118
click to vote
CMSB
2004
Springer
15 years 10 months ago
2004
Springer
A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also o...