12981 search results - page 620 / 2597 » Model Checking (Abstract) |
173
click to vote
ENTCS
2008
15 years 7 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...
202
click to vote
JSW
2007
15 years 7 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
215
Voted
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
191
Voted
ESTIMEDIA
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a technique for high-level power estimation of microprocessors. The technique, which is based on abstract execution profiles called ’event signatures’, op...
179
Voted
PADL
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Creating GUI programs is hard even for prototyping purposes. Using the model-view paradigm makes it somewhat simpler since the model-view paradigm dictates that the model...