7681 search results - page 84 / 1537 » Typed Membrane Systems |
136
click to vote
TIC
1998
Springer
15 years 9 months ago
1998
Springer
Suppose we translate two different source languages,
143
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
138
click to vote
CGF
1998
15 years 5 months ago
1998
This paper describes the prototype of a facial expression editor. In contrast to existing systems the presented editor takes advantage of both medical data for the simulation and ...
126
click to vote
NN
2002
Springer
15 years 5 months ago
2002
Springer
All network dynamics emerge from the complex interaction between the intrinsic membrane properties of network neurons and their synaptic connections. Nervous systems contain numer...
154
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...