11561 search results - page 370 / 2313 » A Language for Biochemical Systems |
272
click to vote
SBMF
2010
Springer
15 years 2 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
199
click to vote
PADL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
211
click to vote
ICLP
2005
Springer
16 years 1 months ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
180
click to vote
IPSN
2005
Springer
16 years 1 months ago
2005
Springer
Abstract— There is widespread agreement that a higher level programming model for sensor networks is needed. A variety of models have been developed, but the community is far fro...
199
click to vote
NLDB
2004
Springer
16 years 27 days ago
2004
Springer
Human interaction occurs always in a specific context and in a particular environment, and a common knowledge base about them is essential for understanding each other. By immersi...