4983 search results - page 278 / 997 » order 2008 |
181
click to vote
ENTCS
2008
15 years 6 months ago
2008
We do not interact with systems without first performing some physical action on a physical device. This paper shows how formal notations and formal models can be developed to acc...
140
click to vote
ENTCS
2008
15 years 6 months ago
2008
In seeking a unified study of computational effects, in particular in order to give a general operational semantics agreeing with the standard one for state, one must take account...
183
click to vote
ENTCS
2008
15 years 6 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
190
Voted
ENTCS
2008
15 years 6 months ago
2008
In this paper, we introduce a system, written in Haskell, for filtering information from XML data. Essentially, the system implements a simple declarative language which allows on...
145
click to vote
ENTCS
2008
15 years 6 months ago
2008
In this paper we consider a model of different sorting of receptors for Fibroblast Growth Factor via the endocytotic pathway. In order to accurately model the relocation in the di...