11561 search results - page 2003 / 2313 » A Language for Biochemical Systems |
175
click to vote
ADBIS
2005
Springer
16 years 9 days ago
2005
Springer
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...
172
click to vote
FOSSACS
2005
Springer
16 years 8 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
158
click to vote
PACT
2005
Springer
16 years 7 days ago
2005
Springer
The paper is dedicated to an open T-system (OpenTS) — a programming system that supports automatic parallelization of computations for high-performance and distributed applicatio...
185
click to vote
AFP
2004
Springer
16 years 4 days ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
175
click to vote
ASM
2004
ASM
16 years 4 days ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...