1716 search results - page 41 / 344 » Generating models for temporal representations |
RTSS
1998
IEEE
13 years 12 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
SPIN
2001
Springer
14 years 4 days ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
WSCG
2004
13 years 9 months ago
2004
A geometrical modelling tool allowing construction of models of living cells and their organelles would facilitate understanding of biological processes at the cellular level. Her...
BC
2002
13 years 7 months ago
2002
The importance of the hippocampus in spatial representation is well established. It is suggested that the rodent hippocampal network should provide an optimal substrate for the stu...
SPIN
2010
Springer
13 years 6 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...