2696 search results - page 311 / 540 » Semantic Abstraction and Anaphora |
168
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
145
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We describe compiler and run-time optimisations for effective autoparallelisation of C++ programs on the Cell BE architecture. Auto-parallelisation is made easier by anno...
162
click to vote
FORTE
2008
15 years 8 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
179
click to vote
FLAIRS
2006
15 years 8 months ago
2006
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...
165
click to vote
FMOODS
2006
15 years 8 months ago
2006
Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...