656 search results - page 66 / 132 » A Formalization of Transition P Systems |
70
Voted
CORR
2009
Springer
14 years 10 months ago
2009
Springer
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...
133
click to vote
UML
2005
Springer
15 years 6 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
IJCAI
2003
15 years 1 months ago
2003
The ability to recognize when an agent abandons a plan is an open problem in the plan recognition literature and is a significant problem if these methods are to be applied in rea...
126
Voted
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
SYNASC
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...