427 search results - page 62 / 86 » On the Power of Labels in Transition Systems |
115
click to vote
JLP
2006
14 years 11 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
106
click to vote
VIROLOGY
2008
14 years 11 months ago
2008
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
JAIR
2006
14 years 11 months ago
2006
In this paper we present pddl+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of pddl...
CCE
2004
14 years 11 months ago
2004
Bifurcation theory provides a powerful tool for analyzing the nonlinear dynamic behavior of process systems. However, although the theory in principle applies to lumped as well as...
ISCAS
2008
IEEE
15 years 6 months ago
2008
IEEE
— Today’s implanted neural systems are bound by tight constraints on power and communication bandwidth. Most conventional ADC-based approaches fall into two categories. Either ...