1195 search results - page 21 / 239 » Modeling an Algebraic Stepper |
130
click to vote
UTP
2010
14 years 11 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
BIOCOMP
2006
15 years 3 months ago
2006
The use of computer algebra software has many applications in diverse fields like epidemiology. This work pretends to show how computer algebra software applications for symbolic ...
180
Voted
ER
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. User preferences are a fundamental ingredient of personalized database applications, in particular those in which the user context plays a key role. Given a set of prefer...
135
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
112
Voted
HISB
2011
14 years 1 months ago
2011
—We address the problem of finding a mathematical model for the genetic network regulating the stress response of the yeast Saccharomyces cerevisiae to the fungicide mancozeb. A...