3408 search results - page 422 / 682 » Logic, language, information and computation |
176
click to vote
IFIPTCS
2010
15 years 4 months ago
2010
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
190
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The web has seen an explosion of chemistry and biology related resources in the last 15 years: thousands of scientific journals, databases, wikis, blogs and resources ...
175
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
207
click to vote
RTA
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we give a simple and uniform presentation of the rewriting calculus, also called Rho Calculus. In addition to its simplicity, this formulation explicitly allows us to...
206
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
Air Quality Forecasting (AQF) is a new discipline that attempts to reliably predict atmospheric pollution. An AQF application has complex workflows and in order to produce timely ...